--- a/doc-src/ZF/Makefile Thu May 15 20:02:44 2008 +0200
+++ b/doc-src/ZF/Makefile Thu May 15 20:14:10 2008 +0200
@@ -12,8 +12,9 @@
include ../Makefile.in
NAME = logics-ZF
-FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty\
- ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
+FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty \
+ ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \
+ ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty ../manual.bib
dvi: $(NAME).dvi