\def\batchfile{typehtml.ins} \input docstrip \generateFile{typehtml.sty}{f}{\from{typehtml.dtx}{package}}