blob: 7649242b357ddfd1bc505f9757663f15c588bf35 (
plain)
1
2
3
4
5
6
7
8
9
10
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
|