diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/filemod/filemod.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/filemod/filemod.ins | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/filemod/filemod.ins b/Master/texmf-dist/source/latex/filemod/filemod.ins new file mode 100644 index 00000000000..10115442744 --- /dev/null +++ b/Master/texmf-dist/source/latex/filemod/filemod.ins @@ -0,0 +1,11 @@ +% This INS file is also part of the DTX file +\input docstrip.tex +\keepsilent +\askforoverwritefalse +\generate{% + \file{filemod.sty} {\nopreamble\from{filemod.dtx} {COPYRIGHT,package,parse,exp,exe,display,aux,latex}}% + \file{filemod.tex} {\nopreamble\from{filemod.dtx} {COPYRIGHT,package,parse,exp,exe,display,aux,tex}}% + \file{filemod-expmin.sty} {\nopreamble\from{filemod.dtx} {COPYRIGHT,expmin,latex}}% + \file{filemod-expmin.tex} {\nopreamble\from{filemod.dtx} {COPYRIGHT,expmin,tex}}% +} +\endbatchfile |