--- a/doc-src/Intro/Makefile Wed May 05 18:24:57 1999 +0200
+++ b/doc-src/Intro/Makefile Wed May 05 18:26:10 1999 +0200
@@ -1,32 +1,28 @@
-# $Id$
-#########################################################################
-# #
-# Makefile for the report "Introduction to Isabelle" #
-# #
-#########################################################################
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+dist: dvi
-FILES = intro.tex foundations.tex getting.tex advanced.tex \
- ../proof.sty ../iman.sty ../extra.sty
+## dependencies
+
+include ../Makefile.in
+
+NAME = intro
+FILES = intro.tex foundations.tex getting.tex advanced.tex \
+ ../proof.sty ../iman.sty ../extra.sty
-intro.dvi.gz: $(FILES)
- test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
- -rm intro.dvi*
- latex intro
- bibtex intro
- latex intro
- latex intro
- ../sedindex intro
- latex intro
- gzip -f intro.dvi
+dvi: $(NAME).dvi
-dist: $(FILES)
- test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
- -rm intro.dvi*
- latex intro
- latex intro
- ../sedindex intro
- latex intro
-
-clean:
- @rm *.aux *.log *.toc *.idx
+$(NAME).dvi: $(FILES) isabelle.eps
+ touch $(NAME).ind
+ $(LATEX) $(NAME)
+ $(BIBTEX) $(NAME)
+ $(LATEX) $(NAME)
+ $(LATEX) $(NAME)
+ $(SEDINDEX) $(NAME)
+ $(LATEX) $(NAME)