isabelle: doc-src/IsarOverview/IsaMakefile@14f29eb097a3 (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
14002 a36681758881 defer latex run to Makefile (not IsaMakefile) kleing parents: 13999 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	kleing
	Mon, 29 Dec 2003 06:49:26 +0100
changeset 14333	14f29eb097a3
parent 14002	a36681758881
child 16521	ad77345f1db8
permissions	-rw-r--r--