diff -r bbfc360db011 -r 203c5f789c09 doc-src/TutorialI/Overview/IsaMakefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/TutorialI/Overview/IsaMakefile	Mon Jul 01 15:41:07 2002 +0200
@@ -0,0 +1,25 @@
+## targets
+
+default: LNCS
+
+## global settings
+
+SRC = $(ISABELLE_HOME)/src
+OUT = $(ISABELLE_OUTPUT)
+LOG = $(OUT)/log
+USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
+
+
+## LNCS
+
+LNCS: $(LOG)/HOL-LNCS.gz
+
+$(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/*.thy
+	@$(USEDIR) HOL LNCS
+
+
+## clean
+
+clean:
+	@rm -f $(LOG)/HOL-LNCS.gz
+