+
−
## targets+
−
+
−
default: utm+
−
images: utm+
−
test: +
−
+
−
all: images test+
−
+
−
+
−
## global settings+
−
+
−
SRC = $(ISABELLE_HOME)/src+
−
OUT = $(ISABELLE_OUTPUT)+
−
LOG = $(OUT)/log+
−
+
−
USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf  ## -D generated+
−
+
−
+
−
## utm+
−
+
−
utm: $(OUT)/utm+
−
+
−
$(OUT)/utm: ## ROOT.ML document/root.tex *.thy+
−
	@$(USEDIR) -b HOL utm+
−
+
−
+
−
## clean+
−
+
−
clean:+
−
	@rm -f $(OUT)/utm+
−