blob: 9debb8d50091d869e64707d9244aa1f5e1493c08 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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}}}
|