summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/semantic/semantic.ins
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/semantic/semantic.ins')
-rw-r--r--Master/texmf-dist/source/latex/semantic/semantic.ins14
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}}
+