+
−
## targets+
−
+
−
default: tutorial+
−
images: +
−
test: +
−
+
−
all: tutorial+
−
+
−
## global settings+
−
+
−
SRC = $(ISABELLE_HOME)/src+
−
OUT = $(ISABELLE_OUTPUT)+
−
LOG = $(OUT)/log+
−
+
−
USEDIR = $(ISATOOL) usedir -v true -D generated+
−
+
−
rail:+
−
	rail ProgTutorial/generated/root+
−
	cp ProgTutorial/generated/root.rao ProgTutorial/document+
−
+
−
tutorial: ProgTutorial/ROOT.ML \+
−
          ProgTutorial/document/root.tex \+
−
          ProgTutorial/document/root.bib \+
−
          ProgTutorial/*.thy \+
−
          ProgTutorial/*.ML \+
−
          ProgTutorial/Recipes/*.thy \+
−
          ProgTutorial/Package/*.thy \+
−
          ProgTutorial/Package/*.ML +
−
	$(USEDIR) HOL ProgTutorial+
−
	$(ISATOOL) version > ProgTutorial/generated/version +
−
	$(ISATOOL) document -o pdf  ProgTutorial/generated+
−
	@cp ProgTutorial/document.pdf progtutorial.pdf+
−
+
−
## clean+
−
+
−
clean:+
−
	@rm -f ProgTutorial/generated/*+
−