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