equal
deleted
inserted
replaced
18 |
18 |
19 ## CookBook |
19 ## CookBook |
20 |
20 |
21 cookbook: CookBook/ROOT.ML \ |
21 cookbook: CookBook/ROOT.ML \ |
22 CookBook/document/root.tex \ |
22 CookBook/document/root.tex \ |
23 CookBook/document/cookbook.bib \ |
23 CookBook/document/root.bib \ |
24 CookBook/*.thy |
24 CookBook/*.thy |
25 $(USEDIR) HOL CookBook |
25 $(USEDIR) HOL CookBook |
26 $(ISATOOL) document CookBook/generated |
26 $(ISATOOL) document -o pdf CookBook/generated |
27 @cp CookBook/document.pdf cookbook.pdf |
27 @cp CookBook/document.pdf cookbook.pdf |
28 |
28 |
29 ## clean |
29 ## clean |
30 |
30 |
31 clean: |
31 clean: |