\def\batchfile{footnote.ins} \input docstrip.tex \keepsilent \Msg{*** Generating the footnote package ***} \generatefile{footnote.sty}{f}{\from{footnote.dtx}{package}} \ifToplevel{ \Msg{***********************************************************} \Msg{*} \Msg{* To finish the installation you have to move the file} \Msg{* footnote.sty into a directory searched by TeX} \Msg{*} \Msg{* To produce the documentation run the file} \Msg{* `footnote.dtx' through LaTeX.} \Msg{*} \Msg{* Happy TeXing} \Msg{*} \Msg{***********************************************************} } \endinput