isabelle: doc-src/TutorialI/IsarOverview/IsaMakefile@502f69ea6627 (annotated)

13267 502f69ea6627 * empty log message * nipkow parents: diff changeset	1	## targets
502f69ea6627 * empty log message * nipkow parents: diff changeset	2
502f69ea6627 * empty log message * nipkow parents: diff changeset	3	default: Isar
502f69ea6627 * empty log message * nipkow parents: diff changeset	4
502f69ea6627 * empty log message * nipkow parents: diff changeset	5	## global settings
502f69ea6627 * empty log message * nipkow parents: diff changeset	6
502f69ea6627 * empty log message * nipkow parents: diff changeset	7	SRC = $(ISABELLE_HOME)/src
502f69ea6627 * empty log message * nipkow parents: diff changeset	8	OUT = $(ISABELLE_OUTPUT)
502f69ea6627 * empty log message * nipkow parents: diff changeset	9	LOG = $(OUT)/log
502f69ea6627 * empty log message * nipkow parents: diff changeset	10	USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true
502f69ea6627 * empty log message * nipkow parents: diff changeset	11
502f69ea6627 * empty log message * nipkow parents: diff changeset	12
502f69ea6627 * empty log message * nipkow parents: diff changeset	13	## Isar
502f69ea6627 * empty log message * nipkow parents: diff changeset	14
502f69ea6627 * empty log message * nipkow parents: diff changeset	15	Isar: $(LOG)/HOL-Isar.gz
502f69ea6627 * empty log message * nipkow parents: diff changeset	16
502f69ea6627 * empty log message * nipkow parents: diff changeset	17	$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/root.tex Isar/*.thy
502f69ea6627 * empty log message * nipkow parents: diff changeset	18	@$(USEDIR) HOL Isar
502f69ea6627 * empty log message * nipkow parents: diff changeset	19
502f69ea6627 * empty log message * nipkow parents: diff changeset	20
502f69ea6627 * empty log message * nipkow parents: diff changeset	21	## clean
502f69ea6627 * empty log message * nipkow parents: diff changeset	22
502f69ea6627 * empty log message * nipkow parents: diff changeset	23	clean:
502f69ea6627 * empty log message * nipkow parents: diff changeset	24	@rm -f $(LOG)/HOL-Isar.gz
502f69ea6627 * empty log message * nipkow parents: diff changeset	25

author	nipkow
	Mon, 01 Jul 2002 18:10:53 +0200
changeset 13267	502f69ea6627
child 13307	cf076cdcfbf3
permissions	-rw-r--r--