isabelle: doc-src/IsarOverview/IsaMakefile@4c57e850e8d5 (annotated)

13999 454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	1	## targets
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	2
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	3	default: Isar
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	4
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	5	## global settings
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	6
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	7	SRC = $(ISABELLE_HOME)/src
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	8	OUT = $(ISABELLE_OUTPUT)
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	9	LOG = $(OUT)/log
17124 19ea4a0f4ec9 -H deleted nipkow parents: 16521 diff changeset	10	USEDIR = $(ISATOOL) usedir -i false -g false -d false -D document -v true
13999 454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	11
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	12
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	13	## Isar
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	14
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	15	Isar: $(LOG)/HOL-Isar.gz
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	16
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	17	$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	18	Isar/document/root.tex Isar/document/root.bib Isar/*.thy
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	19	@$(USEDIR) HOL Isar
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	20
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	21
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	22	## clean
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	23
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	24	clean:
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	25	@rm -f $(LOG)/HOL-Isar.gz
454a2ad0c381 IsarOverview moved one level up kleing parents: diff changeset	26

author	wenzelm
	Wed, 26 Jul 2006 00:44:44 +0200
changeset 20207	4c57e850e8d5
parent 17124	19ea4a0f4ec9
child 28500	4b79e5d3d0aa
permissions	-rw-r--r--