equal
deleted
inserted
replaced
13 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
14 LOG = $(OUT)/log |
14 LOG = $(OUT)/log |
15 |
15 |
16 USEDIR = $(ISATOOL) usedir -v true -i true -D generated |
16 USEDIR = $(ISATOOL) usedir -v true -i true -D generated |
17 |
17 |
|
18 rail: |
|
19 rail CookBook/generated/root |
|
20 cp CookBook/generated/root.rao CookBook/document |
18 |
21 |
19 ## CookBook |
22 ## CookBook |
20 |
23 |
21 cookbook: CookBook/ROOT.ML \ |
24 cookbook: CookBook/ROOT.ML \ |
22 CookBook/document/root.tex \ |
25 CookBook/document/root.tex \ |