--- 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)