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