diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/semantic/semantic.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/semantic/semantic.ins | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/semantic/semantic.ins b/Master/texmf-dist/source/latex/semantic/semantic.ins new file mode 100644 index 00000000000..7614a6415b9 --- /dev/null +++ b/Master/texmf-dist/source/latex/semantic/semantic.ins @@ -0,0 +1,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}} + |