% Genration script for thmbox.sty \def\batchfile{thmbox.ins} \input docstrip \usedir{tex/latex/misc} \askforoverwritefalse \keepsilent \preamble \endpreamble \generate{\file{thmbox.sty}{\from{thmbox.dtx}{}}} \endbatchfile