diff -r 2a6ad4357d72 -r 502f69ea6627 doc-src/TutorialI/IsarOverview/IsaMakefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/TutorialI/IsarOverview/IsaMakefile	Mon Jul 01 18:10:53 2002 +0200
@@ -0,0 +1,25 @@
+## targets
+
+default: Isar
+
+## global settings
+
+SRC = $(ISABELLE_HOME)/src
+OUT = $(ISABELLE_OUTPUT)
+LOG = $(OUT)/log
+USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
+
+
+## Isar
+
+Isar: $(LOG)/HOL-Isar.gz
+
+$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/root.tex Isar/*.thy
+	@$(USEDIR) HOL Isar
+
+
+## clean
+
+clean:
+	@rm -f $(LOG)/HOL-Isar.gz
+