diff -r 360e080fd13e -r 8204b1023537 doc-src/IsarOverview/IsaMakefile
--- a/doc-src/IsarOverview/IsaMakefile	Wed Apr 04 10:04:25 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-## targets
-
-default: Isar
-
-## global settings
-
-SRC = $(ISABELLE_HOME)/src
-OUT = $(ISABELLE_OUTPUT)
-LOG = $(OUT)/log
-USEDIR = $(ISABELLE_TOOL) usedir -i false -g false -d false -D document -v true
-
-
-## Isar
-
-Isar: $(LOG)/HOL-Isar.gz
-
-$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
-  Isar/document/root.tex Isar/document/root.bib Isar/*.thy
-	@$(USEDIR) HOL Isar
-	@rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
-	 Isar/document/pdfsetup.sty Isar/document/session.tex
-
-
-## clean
-
-clean:
-	@rm -f $(LOG)/HOL-Isar.gz
-