X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2Ftex-bits%2Fpreview.drv;fp=examples%2Ftex-bits%2Fpreview.drv;h=76ec4291e9f06be5f84cfa183eab5fba3ec973c7;hp=0000000000000000000000000000000000000000;hb=6eacd82007b7dacd704e50e5da0a9c988827f86c;hpb=53d0f180a43622e1736925647d6df7b2bcb975e6

diff --git a/examples/tex-bits/preview.drv b/examples/tex-bits/preview.drv
new file mode 100644
index 0000000..76ec429
--- /dev/null
+++ b/examples/tex-bits/preview.drv
@@ -0,0 +1,34 @@
+%%
+%% This is file `preview.drv',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% preview.dtx  (with options: `driver')
+%% 
+%% IMPORTANT NOTICE:
+%% 
+%% For the copyright see the source file.
+%% 
+%% Any modified versions of this file must be renamed
+%% with new filenames distinct from preview.drv.
+%% 
+%% For distribution of the original source see the terms
+%% for copying and modification in the file preview.dtx.
+%% 
+%% This generated file may be distributed as long as the
+%% original source files, as listed above, are part of the
+%% same distribution. (The sources need not necessarily be
+%% in the same archive or directory.)
+%%    The preview style for extracting previews from LaTeX documents.
+%%    Developed as part of AUCTeX <URL:http://www.gnu.org/software/auctex>.
+ \documentclass{ltxdoc}
+ \usepackage{preview}
+ \let\ifPreview\relax
+ \newcommand\previewlatex{\texttt{preview-latex}}
+ \begin{document}
+ \DocInput{preview.dtx}
+ \end{document}
+\endinput
+%%
+%% End of file `preview.drv'.