--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/ZF/Makefile Wed Jan 13 16:36:36 1999 +0100
@@ -0,0 +1,34 @@
+# $Id$
+#########################################################################
+# #
+# Makefile for the report "Isabelle's Logics: FOL and ZF" #
+# #
+#########################################################################
+
+
+FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex\
+ ../rail.sty ../proof.sty ../iman.sty ../extra.sty
+
+logics-ZF.dvi.gz: $(FILES)
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+ -rm logics-ZF.dvi*
+ latex logics-ZF
+ rail logics-ZF
+ bibtex logics-ZF
+ latex logics-ZF
+ latex logics-ZF
+ ../sedindex logics-ZF
+ latex logics-ZF
+ gzip -f logics-ZF.dvi
+
+dist: $(FILES)
+ test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
+ -rm logics-ZF.dvi*
+ latex logics-ZF
+ latex logics-ZF
+ ../sedindex logics-ZF
+ latex logics-ZF
+
+clean:
+ @rm *.aux *.log *.toc *.idx *.rai
+