doc-src/ZF/Makefile
changeset 6121 5fe77b9b5185
child 6579 d0c6bb2577b1
--- /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
+