equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: cookbook.pdf |
4 default: cookbook |
5 images: |
5 images: |
6 test: CookBook |
6 test: |
7 |
7 |
8 all: images test |
8 all: cookbook |
9 |
|
10 TEXFILES = cookbook.tex |
|
11 |
9 |
12 ## global settings |
10 ## global settings |
13 |
11 |
14 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
15 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
18 USEDIR = $(ISATOOL) usedir -v true -i true -D generated |
16 USEDIR = $(ISATOOL) usedir -v true -i true -D generated |
19 |
17 |
20 |
18 |
21 ## CookBook |
19 ## CookBook |
22 |
20 |
23 CookBook: $(LOG)/HOL-CookBook.gz |
21 cookbook: CookBook/ROOT.ML \ |
24 |
22 CookBook/document/root.tex \ |
25 $(LOG)/HOL-CookBook.gz: CookBook/ROOT.ML CookBook/document/root.tex CookBook/*.thy |
23 CookBook/document/cookbook.bib \ |
26 @$(USEDIR) HOL CookBook |
24 CookBook/*.thy |
27 |
25 $(USEDIR) HOL CookBook |
28 cookbook.pdf: $(LOG)/HOL-CookBook.gz $(TEXFILES) |
26 $(ISATOOL) document -o pdf CookBook/generated |
29 pdflatex cookbook.tex |
27 @cp CookBook/document.pdf cookbook.pdf |
30 bibtex cookbook |
|
31 pdflatex cookbook.tex |
|
32 pdflatex cookbook.tex |
|
33 |
|
34 |
28 |
35 ## clean |
29 ## clean |
36 |
30 |
37 clean: |
31 clean: |
38 @rm -f $(LOG)/HOL-CookBook.gz CookBook/generated/* |
32 @rm -f CookBook/generated/* |