isabelle: doc-src/IsarOverview/IsaMakefile@4d5a98cebb24 (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
28500 4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL; wenzelm parents: 17124 diff changeset	10	USEDIR = $(ISABELLE_TOOL) 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	immler@in.tum.de
	Wed, 25 Feb 2009 10:02:10 +0100
changeset 30150	4d5a98cebb24
parent 28500	4b79e5d3d0aa
child 30458	804de935c328
permissions	-rw-r--r--