isabelle: doc-src/IsarOverview/IsaMakefile@ad77345f1db8 (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
16521 ad77345f1db8 added -H false nipkow parents: 14002 diff changeset	10	USEDIR = $(ISATOOL) usedir -H false -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	nipkow
	Wed, 22 Jun 2005 07:54:01 +0200
changeset 16521	ad77345f1db8
parent 14002	a36681758881
child 17124	19ea4a0f4ec9
permissions	-rw-r--r--