equal
deleted
inserted
replaced
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
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 -D generated |
17 |
17 |
18 rail: |
18 rail: |
19 rail CookBook/generated/root |
19 rail CookBook/generated/root |
20 cp CookBook/generated/root.rao CookBook/document |
20 cp CookBook/generated/root.rao CookBook/document |
21 |
21 |