# HG changeset patch
# User wenzelm
# Date 1210865838 -7200
# Node ID 0fffc7bc3604341fd17d55094921af7659186a05
# Parent  044619358d3a9481241e527f7df1497899947fc0
depend on ../pdfsetup.sty;

diff -r 044619358d3a -r 0fffc7bc3604 doc-src/IsarRef/Makefile
--- a/doc-src/IsarRef/Makefile	Thu May 15 17:37:17 2008 +0200
+++ b/doc-src/IsarRef/Makefile	Thu May 15 17:37:18 2008 +0200
@@ -20,7 +20,7 @@
   Thy/document/ZF_Specific.tex Thy/document/intro.tex \
   Thy/document/pure.tex Thy/document/syntax.tex \
   ../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \
-  ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
+  ../iman.sty ../extra.sty ../ttbox.sty ../pdfsetup.sty ../manual.bib
 
 dvi: $(NAME).dvi