author | paulson |
Wed, 22 May 2002 18:11:57 +0200 | |
changeset 13172 | 03a5afa7b888 |
parent 11235 | 860c65c7388a |
child 13238 | a6cb18a25cbb |
permissions | -rw-r--r-- |
11235 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: Overview |
|
5 |
images: |
|
6 |
test: Overview |
|
7 |
||
8 |
all: images test |
|
9 |
||
10 |
||
11 |
## global settings |
|
12 |
||
13 |
SRC = $(ISABELLE_HOME)/src |
|
14 |
OUT = $(ISABELLE_OUTPUT) |
|
15 |
LOG = $(OUT)/log |
|
16 |
USEDIR = $(ISATOOL) usedir -i true -d dvi -D document |
|
17 |
||
18 |
||
19 |
## Overview |
|
20 |
||
21 |
Overview: $(LOG)/HOL-Overview.gz |
|
22 |
||
23 |
$(LOG)/HOL-Overview.gz: Overview/ROOT.ML Overview/document/root.tex Overview/*.thy |
|
24 |
@$(USEDIR) HOL Overview |
|
25 |
||
26 |
||
27 |
## clean |
|
28 |
||
29 |
clean: |
|
30 |
@rm -f $(LOG)/HOL-Overview.gz |
|
31 |