\def\batchfile{patchcmd.ins} \input docstrip.tex \preamble \endpreamble \keepsilent \generateFile{patchcmd.sty}{f}{\from{patchcmd.dtx}{}} \endinput