\def\batchfile{jadetex.ins} \input docstrip.tex \keepsilent \preamble \endpreamble \generateFile{jadetex.ltx}{f}{\from{jadetex.dtx}{package}} \Msg{***************************************************************} \endinput