% This file requires at least Version 2.4a[1996/06/06] of docstrip.tex to % run properly. \def\batchfile{juraabbrev.ins} \input docstrip \keepsilent \generate{\file{juraabbrev.sty}{\from{juraabbrev.dtx}{package}} \file{juraabbrev.4ht}{\from{juraabbrev.dtx}{texforht}} \file{abbrevtest.tex}{\from{juraabbrev.dtx}{example}} \file{laws.ist}{\from{juraabbrev.dtx}{indexstyle}} } \endbatchfile