author | boehmes |
Tue, 07 Dec 2010 15:44:38 +0100 | |
changeset 41064 | 0c447a17770a |
parent 28500 | 4b79e5d3d0aa |
permissions | -rw-r--r-- |
## targets default: LNCS ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log USEDIR = $(ISABELLE_TOOL) usedir -i true -d ps -D document -v true ## LNCS LNCS: $(LOG)/HOL-LNCS.gz $(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/document/root.bib LNCS/*.thy @$(USEDIR) HOL LNCS ## clean clean: @rm -f $(LOG)/HOL-LNCS.gz