equal
deleted
inserted
replaced
14 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
15 |
15 |
16 USEDIR = $(ISATOOL) usedir -v true -D generated |
16 USEDIR = $(ISATOOL) usedir -v true -D generated |
17 |
17 |
18 rail: |
18 rail: |
19 rail CookBook/generated/root |
19 rail ProgTutorial/generated/root |
20 cp CookBook/generated/root.rao CookBook/document |
20 cp ProgTutorial/generated/root.rao ProgTutorial/document |
21 |
21 |
22 tutorial: CookBook/ROOT.ML \ |
22 tutorial: ProgTutorial/ROOT.ML \ |
23 CookBook/document/root.tex \ |
23 ProgTutorial/document/root.tex \ |
24 CookBook/document/root.bib \ |
24 ProgTutorial/document/root.bib \ |
25 CookBook/*.thy \ |
25 ProgTutorial/*.thy \ |
26 CookBook/*.ML \ |
26 ProgTutorial/*.ML \ |
27 CookBook/Recipes/*.thy \ |
27 ProgTutorial/Recipes/*.thy \ |
28 CookBook/Package/*.thy \ |
28 ProgTutorial/Package/*.thy \ |
29 CookBook/Package/*.ML |
29 ProgTutorial/Package/*.ML |
30 $(USEDIR) HOL CookBook |
30 $(USEDIR) HOL ProgTutorial |
31 $(ISATOOL) version > CookBook/generated/version |
31 $(ISATOOL) version > ProgTutorial/generated/version |
32 $(ISATOOL) document -o pdf CookBook/generated |
32 $(ISATOOL) document -o pdf ProgTutorial/generated |
33 @cp CookBook/document.pdf cookbook.pdf |
33 @cp ProgTutorial/document.pdf progtutorial.pdf |
34 |
34 |
35 ## clean |
35 ## clean |
36 |
36 |
37 clean: |
37 clean: |
38 @rm -f CookBook/generated/* |
38 @rm -f ProgTutorial/generated/* |