<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% -*- 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
</pre></body></html>