author | kleing |
Mon, 29 Dec 2003 06:49:26 +0100 | |
changeset 14333 | 14f29eb097a3 |
parent 13439 | 2f98365f57a8 |
child 28500 | 4b79e5d3d0aa |
permissions | -rw-r--r-- |
## targets default: LNCS ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log USEDIR = $(ISATOOL) 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