| author | kleing |
| Mon, 12 May 2003 11:33:55 +0200 | |
| changeset 13999 | 454a2ad0c381 |
| child 14002 | a36681758881 |
| permissions | -rw-r--r-- |
1 ## targets
3 default: Isar
5 ## global settings
7 SRC = $(ISABELLE_HOME)/src
8 OUT = $(ISABELLE_OUTPUT)
9 LOG = $(OUT)/log
10 USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
13 ## Isar
15 Isar: $(LOG)/HOL-Isar.gz
17 $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
18 Isar/document/root.tex Isar/document/root.bib Isar/*.thy
19 @$(USEDIR) HOL Isar
22 ## clean
24 clean:
25 @rm -f $(LOG)/HOL-Isar.gz