@default_files = ("groupthm.dtx"); $makeindex = "makeindex -s gind.ist %O -o %D %S"; $clean_ext .= ' glo'; $clean_ext .= ' hd'; $clean_full_ext .= ' sty'; $emulate_aux = 1;