% Styreprogram til at lave semantik-pakken udfra .dtx filen. % Skal blot køres igennem TeX og senere indarbejdes direkte i semantic.dtx. \def\batchfile{semantic.ins} \input docstrip \keepsilent \generateFile{semantic.sty}{f}{\from{semantic.dtx}{general}} \generateFile{infernce.sty}{f}{\from{semantic.dtx}{allOptions,inference}} \generateFile{ligature.sty}{f}{\from{semantic.dtx}{allOptions,ligature}} \generateFile{tdiagram.sty}{f}{\from{semantic.dtx}{allOptions,Tdiagram}} \generateFile{reserved.sty}{f}{\from{semantic.dtx}{allOptions,reservedWords}} \generateFile{shrthand.sty}{f}{\from{semantic.dtx}{allOptions,shorthand}}