equal
deleted
inserted
replaced
1 |
|
2 ## targets |
1 ## targets |
3 |
2 |
4 default: Overview |
3 default: Overview |
5 images: |
4 images: |
6 test: Overview |
5 test: Overview |
11 ## global settings |
10 ## global settings |
12 |
11 |
13 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
16 USEDIR = $(ISATOOL) usedir -i true -d dvi -D document |
15 USEDIR = $(ISATOOL) usedir -i true -d ps -D document -v true |
17 |
16 |
18 |
17 |
19 ## Overview |
18 ## Overview |
20 |
19 |
21 Overview: $(LOG)/HOL-Overview.gz |
20 Overview: $(LOG)/HOL-Overview.gz |