## targets
default: simple-keyword
images:
test: simple-keyword
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
## simple-keyword
simple-keyword: $(LOG)/HOL-Nominal-simple-keyword.gz
$(LOG)/HOL-Nominal-simple-keyword.gz: ## simple-keyword/ROOT.ML simple-keyword/document/root.tex simple-keyword/*.thy
@$(USEDIR) HOL-Nominal simple-keyword
## clean
clean:
@rm -f $(LOG)/HOL-Nominal-simple-keyword.gz