--- a/doc-src/Tutorial/Makefile Wed May 05 18:26:10 1999 +0200
+++ b/doc-src/Tutorial/Makefile Wed May 05 18:35:41 1999 +0200
@@ -1,34 +1,29 @@
-# $Id$
-#########################################################################
-# #
-# Makefile for the report "Isabelle/HOL. The Tutorial" #
-# #
-#########################################################################
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+dist: dvi
-FILES = tutorial.tex basics.tex fp.tex appendix.tex \
- ../iman.sty ttbox.sty extra.sty
+## dependencies
+
+include ../Makefile.in
+
+NAME = tutorial
+FILES = tutorial.tex basics.tex fp.tex appendix.tex \
+ ../iman.sty ttbox.sty extra.sty
+
+dvi: $(NAME).dvi
-tutorial.ps.gz: $(FILES)
- isatool make
- test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
- -rm tutorial.dvi*
- latex tutorial
- bibtex tutorial
- latex tutorial
- latex tutorial
- ../sedindex tutorial
- latex tutorial
- dvips tutorial.dvi -o tutorial.ps
- gzip tutorial.ps
-
-dist: $(FILES)
- test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
- -rm tutorial.dvi*
- latex tutorial
- latex tutorial
- ../sedindex tutorial
- latex tutorial
-
-clean:
- @rm *.aux *.log *.toc *.idx
+$(NAME).dvi: $(FILES) isabelle_hol.eps
+ touch $(NAME).ind
+ $(LATEX) $(NAME)
+ $(RAIL) $(NAME)
+ $(BIBTEX) $(NAME)
+ $(LATEX) $(NAME)
+ $(LATEX) $(NAME)
+ $(SEDINDEX) $(NAME)
+ $(LATEX) $(NAME)