diff -r fe2f5024f89e -r fc06a79e1f09 doc-src/ZF/Makefile
--- a/doc-src/ZF/Makefile	Wed May 05 18:08:01 1999 +0200
+++ b/doc-src/ZF/Makefile	Wed May 05 18:13:56 1999 +0200
@@ -1,34 +1,29 @@
-#  $Id$
-#########################################################################
-#									#
-#	Makefile for the report "Isabelle's Logics: FOL and ZF"		#
-#									#
-#########################################################################
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+dist: dvi
 
 
-FILES =  logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex\
-	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
+## dependencies
+
+include ../Makefile.in
+
+NAME = logics-ZF
+FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex \
+	../rail.sty ../proof.sty ../iman.sty ../extra.sty
+
+dvi: $(NAME).dvi
 
-logics-ZF.dvi.gz:   $(FILES) 
-	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.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_zf.eps || ln -s ../gfx/isabelle_zf.eps .
-	-rm logics-ZF.dvi*
-	latex logics-ZF
-	latex logics-ZF
-	../sedindex logics-ZF
-	latex logics-ZF
-
-clean:
-	@rm *.aux *.log *.toc *.idx *.rai
-
+$(NAME).dvi: $(FILES) isabelle_zf.eps
+	touch $(NAME).ind
+	$(LATEX) $(NAME)
+	$(RAIL) $(NAME)
+	$(BIBTEX) $(NAME)
+	$(LATEX) $(NAME)
+	$(LATEX) $(NAME)
+	$(SEDINDEX) $(NAME)
+	$(LATEX) $(NAME)