diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/grundgesetze/grundgesetze.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/grundgesetze/grundgesetze.ins | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/grundgesetze/grundgesetze.ins b/Master/texmf-dist/source/latex/grundgesetze/grundgesetze.ins new file mode 100644 index 00000000000..7649242b357 --- /dev/null +++ b/Master/texmf-dist/source/latex/grundgesetze/grundgesetze.ins @@ -0,0 +1,11 @@ +% -*- tex -*- +% grundgesetze.ins +% docstrip wrapper for the grundgesetze wrapper +\def\batchfile{grundgesetze.ins} +\input docstrip.tex +\preamble +docstrip wrapper for grundgesetze +\endpreamble +\keepsilent +\generateFile{grundgesetze.sty}{t}{\from{grundgesetze.dtx}{package}} +\endinput |