# HG changeset patch
# User wenzelm
# Date 1210867456 -7200
# Node ID 5cde053f16b8e88e5f52bff3b152d30d085ec9a2
# Parent  e90832d7196acb69d1fc1b7e045e1b51e4b5b2cd
depend on ../pdfsetup.sty;

diff -r e90832d7196a -r 5cde053f16b8 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