changeset 15894 | 41f9c0902db1 |
parent 15491 | 7c1f6e84f4ad |
child 15898 | 435f0e743854 |
15893:c0cd613a49eb | 15894:41f9c0902db1 |
---|---|
12 |
12 |
13 SRC = $(ISABELLE_HOME)/src |
13 SRC = $(ISABELLE_HOME)/src |
14 OUT = $(ISABELLE_OUTPUT) |
14 OUT = $(ISABELLE_OUTPUT) |
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 |
16 |
17 USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated -H false |
17 USEDIR = $(ISATOOL) usedir -v true -i false -g false -d false -D document -H false |
18 |
18 |
19 |
19 |
20 ## Sugar |
20 ## Sugar |
21 |
21 |
22 Sugar: $(LOG)/HOL-Sugar.gz |
22 Sugar: $(LOG)/HOL-Sugar.gz |