doc-src/IsarOverview/Isar/document/Makefile

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/IsarOverview/Isar/document/Makefile	Mon May 12 12:12:19 2003 +0200
@@ -0,0 +1,33 @@
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+
+## dependencies
+
+include ../../../Makefile.in
+
+dvi: ../../isar-overview.dvi
+
+../../isar-overview.dvi: root.dvi
+	cp root.dvi ../../isar-overview.dvi
+
+root.dvi: *.tex *.sty *.bib
+	$(LATEX) root
+	$(BIBTEX) root
+	$(LATEX) root
+	$(LATEX) root
+
+pdf: ../../isar-overview.pdf
+
+../../isar-overview.pdf: root.pdf
+	cp root.pdf ../../isar-overview.pdf
+
+root.pdf: *.tex *.sty *.bib
+	$(PDFLATEX) root
+	$(BIBTEX) root
+	$(PDFLATEX) root
+	$(PDFLATEX) root