isabelle: doc-src/TutorialI/IsarOverview/IsaMakefile@8060978feaf4 (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
13619 584291949c23 * empty log message * nipkow parents: 13307 diff changeset	17	$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
584291949c23 * empty log message * nipkow parents: 13307 diff changeset	18	Isar/document/root.tex Isar/document/root.bib Isar/*.thy
13267 502f69ea6627 * empty log message * nipkow parents: diff changeset	19	@$(USEDIR) HOL Isar
502f69ea6627 * empty log message * nipkow parents: diff changeset	20
502f69ea6627 * empty log message * nipkow parents: diff changeset	21
502f69ea6627 * empty log message * nipkow parents: diff changeset	22	## clean
502f69ea6627 * empty log message * nipkow parents: diff changeset	23
502f69ea6627 * empty log message * nipkow parents: diff changeset	24	clean:
502f69ea6627 * empty log message * nipkow parents: diff changeset	25	@rm -f $(LOG)/HOL-Isar.gz
502f69ea6627 * empty log message * nipkow parents: diff changeset	26

author	nipkow
	Fri, 03 Jan 2003 10:24:24 +0100
changeset 13770	8060978feaf4
parent 13619	584291949c23
permissions	-rw-r--r--