% -*- 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