# HG changeset patch
# User kleing
# Date 1052734339 -7200
# Node ID 740788f3f6b787b177e810d79a7ec4da0a75dd88
# Parent  a3668175888107066984d9fc42cf06f94bd3097a
makefiles for latex runs

diff -r a36681758881 -r 740788f3f6b7 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
diff -r a36681758881 -r 740788f3f6b7 doc-src/IsarOverview/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/IsarOverview/Makefile	Mon May 12 12:12:19 2003 +0200
@@ -0,0 +1,22 @@
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+
+## dependencies
+
+dvi:
+	cd Isar/document; make dvi
+
+pdf:
+	cd Isar/document; make pdf
+
+clean:
+	cd Isar/document; make clean
+
+mrproper:
+	rm -f *.pdf *.dvi
+	cd Isar/document; make mrproper