bundle preview.sty to avoid versioning headaches
[coq-hetmet.git] / examples / tex-bits / preview.ins
1 %%
2 %% This is file `preview.ins',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% preview.dtx  (with options: `installer')
8 %% 
9 %% IMPORTANT NOTICE:
10 %% 
11 %% For the copyright see the source file.
12 %% 
13 %% Any modified versions of this file must be renamed
14 %% with new filenames distinct from preview.ins.
15 %% 
16 %% For distribution of the original source see the terms
17 %% for copying and modification in the file preview.dtx.
18 %% 
19 %% This generated file may be distributed as long as the
20 %% original source files, as listed above, are part of the
21 %% same distribution. (The sources need not necessarily be
22 %% in the same archive or directory.)
23 %%    The preview style for extracting previews from LaTeX documents.
24 %%    Developed as part of AUCTeX <URL:http://www.gnu.org/software/auctex>.
25  \input docstrip
26  \generate{
27     \file{preview.drv}{\from{preview.dtx}{driver}}
28     \usedir{tex/latex/preview}
29     \file{preview.sty}{\from{preview.dtx}{style}
30                        \from{preview.dtx}{style,active}}
31     \file{prauctex.def}{\from{preview.dtx}{auctex}}
32     \file{prauctex.cfg}{\from{preview.dtx}{auccfg}}
33     \file{prshowbox.def}{\from{preview.dtx}{showbox}}
34     \file{prshowlabels.def}{\from{preview.dtx}{showlabels}}
35     \file{prtracingall.def}{\from{preview.dtx}{tracingall}}
36     \file{prtightpage.def}{\from{preview.dtx}{tightpage}}
37     \file{prlyx.def}{\from{preview.dtx}{lyx}}
38     \file{prcounters.def}{\from{preview.dtx}{counters}}
39     \file{prfootnotes.def}{\from{preview.dtx}{footnotes}}
40  }
41  \endbatchfile
42 \endinput
43 %%
44 %% End of file `preview.ins'.