diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/envlab/envlab.ins')
-rw-r--r-- | Master/texmf-dist/source/latex/envlab/envlab.ins | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/envlab/envlab.ins b/Master/texmf-dist/source/latex/envlab/envlab.ins new file mode 100644 index 00000000000..9debb8d5009 --- /dev/null +++ b/Master/texmf-dist/source/latex/envlab/envlab.ins @@ -0,0 +1,23 @@ +\def\batchfile{envlab.ins} +\input docstrip +\keepsilent + +\generate{\file{envlab.drv}{\from{envlab.dtx}{driver}} + \file{envlab.sty}{\from{envlab.dtx}{package}}} + +\preamble + +You are allowed and encouraged to modify THIS file. + +The first part of this file contains default options for your site. +The second part (inside AtEndOfPackage declaration) should contain +customization commands specific to your site. + +Good luck + + +\endpreamble + +\generate{\file{envlab.cfg}{\from{envlab.dtx}{cfg}}} + + |