| author | wenzelm |
| Wed, 10 Jul 2002 13:55:32 +0200 | |
| changeset 13331 | 47e9950a502d |
| parent 13263 | 203c5f789c09 |
| child 13439 | 2f98365f57a8 |
| permissions | -rw-r--r-- |
| 13263 | 1 |
## targets |
2 |
||
3 |
default: LNCS |
|
4 |
||
5 |
## global settings |
|
6 |
||
7 |
SRC = $(ISABELLE_HOME)/src |
|
8 |
OUT = $(ISABELLE_OUTPUT) |
|
9 |
LOG = $(OUT)/log |
|
10 |
USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true |
|
11 |
||
12 |
||
13 |
## LNCS |
|
14 |
||
15 |
LNCS: $(LOG)/HOL-LNCS.gz |
|
16 |
||
17 |
$(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/*.thy |
|
18 |
@$(USEDIR) HOL LNCS |
|
19 |
||
20 |
||
21 |
## clean |
|
22 |
||
23 |
clean: |
|
24 |
@rm -f $(LOG)/HOL-LNCS.gz |
|
25 |