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