--- /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
--- /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