set.def file specifications
To group several DTX/GDA files into single title, you can use set.def file. set.def file groups several DTX files into single title.
To make it, please make text file named "set.def" in the folder where DTX files are. Here is a sample;
#TITLE: BRILLIANT DAY #L1LABEL: BASIC #L1FILE: brilliant_bas.dtx #L2LABEL: ADVANCED #L2FILE: brilliant_adv.dtx #L3LABEL: EXTREME #L3FILE: brilliant_ext.dtx #L4LABEL: EXTREME+ #L4FILE: brilliant_exp.dtx #L5LABEL: RAW #L5FILE: brilliant_raw.dtx #FONTCOLOR: #FFFFFF
Then, put this set.def file into the same folder where DTX files exists. About the example above, put that set.def file into the folder where brillinant_bas.dtx, brilliant_adv.dtx ... exists. As the result, these five dtx files are grouped into the single title "BRILLIANT DAY", and you can choose the difficulties by hitting hi-hat twice.
Here is a descriptions about each items in set.def file;