\input docstrip.tex \askforoverwritefalse \generate{\file{coolthms.sty}{\from{coolthms.dtx}{}}} \end