equal
deleted
inserted
replaced
13 ## global settings |
13 ## global settings |
14 |
14 |
15 SRC = $(ISABELLE_HOME)/src |
15 SRC = $(ISABELLE_HOME)/src |
16 OUT = $(ISABELLE_OUTPUT) |
16 OUT = $(ISABELLE_OUTPUT) |
17 LOG = $(OUT)/log |
17 LOG = $(OUT)/log |
18 USEDIR = @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL |
18 USEDIR = @$(ISATOOL) usedir -m brackets -i true -d dvi -D document $(OUT)/HOL |
19 |
19 |
20 ## HOL |
20 ## HOL |
21 |
21 |
22 HOL: |
22 HOL: |
23 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
23 @cd $(SRC)/HOL; $(ISATOOL) make HOL |