blob: 7614a6415b9ddeefb3b5970801b76fbca2aac86e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
% 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}}
|