merge proof correction
[coq-hetmet.git] / examples / tex-bits / preview.drv
1 %%
2 %% This is file `preview.drv',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% preview.dtx  (with options: `driver')
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.drv.
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  \documentclass{ltxdoc}
26  \usepackage{preview}
27  \let\ifPreview\relax
28  \newcommand\previewlatex{\texttt{preview-latex}}
29  \begin{document}
30  \DocInput{preview.dtx}
31  \end{document}
32 \endinput
33 %%
34 %% End of file `preview.drv'.