depend on ../pdfsetup.sty;
authorwenzelm
Thu, 15 May 2008 18:04:16 +0200
changeset 26905 5cde053f16b8
parent 26904 e90832d7196a
child 26906 6e8152678e06
depend on ../pdfsetup.sty;
doc-src/IsarImplementation/Makefile
--- a/doc-src/IsarImplementation/Makefile	Thu May 15 18:04:02 2008 +0200
+++ b/doc-src/IsarImplementation/Makefile	Thu May 15 18:04:16 2008 +0200
@@ -18,7 +18,7 @@
 FILES = implementation.tex intro.tex Thy/document/prelim.tex Thy/document/logic.tex \
   Thy/document/tactic.tex Thy/document/proof.tex Thy/document/locale.tex \
   Thy/document/integration.tex style.sty ../iman.sty ../extra.sty ../isar.sty \
-  ../manual.bib ../proof.sty
+  ../pdfsetup.sty ../manual.bib ../proof.sty
 
 dvi: $(NAME).dvi