1 \def\batchfile{envlab.ins}
8 You are allowed and encouraged to modify THIS file.
10 The first part of this file contains default options for your site.
11 The second part (inside AtEndOfPackage declaration) should contain
12 customization commands specific to your site.
19 \file{envlab.drv}{\from{envlab.dtx}{driver}}
20 \file{envlab.sty}{\from{envlab.dtx}{package}}
21 \usepreamble\empty\usepreamble\cfg\file{envlab.cfg}{\from{envlab.dtx}{cfg}}}