author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 15:03:34 +0200 | |
branch | isac-from-Isabelle2009-2 |
changeset 37913 | 20e3616b2d9c |
parent 28500 | 4b79e5d3d0aa |
permissions | -rw-r--r-- |
1 ## targets
3 default: LNCS
5 ## global settings
7 SRC = $(ISABELLE_HOME)/src
8 OUT = $(ISABELLE_OUTPUT)
9 LOG = $(OUT)/log
10 USEDIR = $(ISABELLE_TOOL) usedir -i true -d ps -D document -v true
13 ## LNCS
15 LNCS: $(LOG)/HOL-LNCS.gz
17 $(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/document/root.bib LNCS/*.thy
18 @$(USEDIR) HOL LNCS
21 ## clean
23 clean:
24 @rm -f $(LOG)/HOL-LNCS.gz