doc-src/Logics/Makefile
changeset 6597 56ff27255ac8
parent 6585 d5eae11efa42
child 6598 c1d7791f0314
--- a/doc-src/Logics/Makefile	Wed May 05 18:16:03 1999 +0200
+++ b/doc-src/Logics/Makefile	Wed May 05 18:19:03 1999 +0200
@@ -1,34 +1,28 @@
-#  $Id$
-#########################################################################
-#									#
-#	Makefile for the report "Isabelle's Object-Logics"		#
-#									#
-#########################################################################
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+dist: dvi
 
 
-FILES =  logics.tex preface.tex syntax.tex LK.tex CTT.tex\
-	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
+## dependencies
+
+include ../Makefile.in
+
+NAME = logics
+FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \
+	../proof.sty ../iman.sty ../extra.sty
 
-logics.dvi.gz:   $(FILES) 
-	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-	-rm logics.dvi*
-	latex logics
-	rail logics
-	bibtex logics
-	latex logics
-	latex logics
-	../sedindex logics
-	latex logics
-	gzip -f logics.dvi
+dvi: $(NAME).dvi
 
-dist:   $(FILES) 
-	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-	-rm logics.dvi*
-	latex logics
-	latex logics
-	../sedindex logics
-	latex logics
-
-clean:
-	@rm *.aux *.log *.toc *.idx *.rai
-
+$(NAME).dvi: $(FILES) isabelle_hol.eps
+	touch $(NAME).ind
+	$(LATEX) $(NAME)
+	$(BIBTEX) $(NAME)
+	$(LATEX) $(NAME)
+	$(LATEX) $(NAME)
+	$(SEDINDEX) $(NAME)
+	$(LATEX) $(NAME)