1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/IsarOverview/IsaMakefile Mon May 12 11:33:55 2003 +0200
1.3 @@ -0,0 +1,26 @@
1.4 +## targets
1.5 +
1.6 +default: Isar
1.7 +
1.8 +## global settings
1.9 +
1.10 +SRC = $(ISABELLE_HOME)/src
1.11 +OUT = $(ISABELLE_OUTPUT)
1.12 +LOG = $(OUT)/log
1.13 +USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
1.14 +
1.15 +
1.16 +## Isar
1.17 +
1.18 +Isar: $(LOG)/HOL-Isar.gz
1.19 +
1.20 +$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
1.21 + Isar/document/root.tex Isar/document/root.bib Isar/*.thy
1.22 + @$(USEDIR) HOL Isar
1.23 +
1.24 +
1.25 +## clean
1.26 +
1.27 +clean:
1.28 + @rm -f $(LOG)/HOL-Isar.gz
1.29 +