isabelle: doc-src/TutorialI/OverviewMakefile@48fc0db9b896 (annotated)

11235 860c65c7388a * empty log message * nipkow parents: diff changeset	1
860c65c7388a * empty log message * nipkow parents: diff changeset	2	## targets
860c65c7388a * empty log message * nipkow parents: diff changeset	3
860c65c7388a * empty log message * nipkow parents: diff changeset	4	default: Overview
860c65c7388a * empty log message * nipkow parents: diff changeset	5	images:
860c65c7388a * empty log message * nipkow parents: diff changeset	6	test: Overview
860c65c7388a * empty log message * nipkow parents: diff changeset	7
860c65c7388a * empty log message * nipkow parents: diff changeset	8	all: images test
860c65c7388a * empty log message * nipkow parents: diff changeset	9
860c65c7388a * empty log message * nipkow parents: diff changeset	10
860c65c7388a * empty log message * nipkow parents: diff changeset	11	## global settings
860c65c7388a * empty log message * nipkow parents: diff changeset	12
860c65c7388a * empty log message * nipkow parents: diff changeset	13	SRC = $(ISABELLE_HOME)/src
860c65c7388a * empty log message * nipkow parents: diff changeset	14	OUT = $(ISABELLE_OUTPUT)
860c65c7388a * empty log message * nipkow parents: diff changeset	15	LOG = $(OUT)/log
860c65c7388a * empty log message * nipkow parents: diff changeset	16	USEDIR = $(ISATOOL) usedir -i true -d dvi -D document
860c65c7388a * empty log message * nipkow parents: diff changeset	17
860c65c7388a * empty log message * nipkow parents: diff changeset	18
860c65c7388a * empty log message * nipkow parents: diff changeset	19	## Overview
860c65c7388a * empty log message * nipkow parents: diff changeset	20
860c65c7388a * empty log message * nipkow parents: diff changeset	21	Overview: $(LOG)/HOL-Overview.gz
860c65c7388a * empty log message * nipkow parents: diff changeset	22
860c65c7388a * empty log message * nipkow parents: diff changeset	23	$(LOG)/HOL-Overview.gz: Overview/ROOT.ML Overview/document/root.tex Overview/*.thy
860c65c7388a * empty log message * nipkow parents: diff changeset	24	@$(USEDIR) HOL Overview
860c65c7388a * empty log message * nipkow parents: diff changeset	25
860c65c7388a * empty log message * nipkow parents: diff changeset	26
860c65c7388a * empty log message * nipkow parents: diff changeset	27	## clean
860c65c7388a * empty log message * nipkow parents: diff changeset	28
860c65c7388a * empty log message * nipkow parents: diff changeset	29	clean:
860c65c7388a * empty log message * nipkow parents: diff changeset	30	@rm -f $(LOG)/HOL-Overview.gz
860c65c7388a * empty log message * nipkow parents: diff changeset	31

author	paulson
	Tue, 03 Jul 2001 15:29:29 +0200
changeset 11396	48fc0db9b896
parent 11235	860c65c7388a
child 13238	a6cb18a25cbb
permissions	-rw-r--r--