author | wenzelm |
Tue, 16 Aug 2005 13:42:21 +0200 | |
changeset 17055 | eacce1cd716a |
parent 17054 | a7da4123523e |
child 17056 | 05fc32a23b8b |
1.1 --- a/doc-src/TutorialI/IsaMakefile Tue Aug 16 13:42:20 2005 +0200 1.2 +++ b/doc-src/TutorialI/IsaMakefile Tue Aug 16 13:42:21 2005 +0200 1.3 @@ -17,7 +17,7 @@ 1.4 SRC = $(ISABELLE_HOME)/src 1.5 OUT = $(ISABELLE_OUTPUT) 1.6 LOG = $(OUT)/log 1.7 -OPTIONS = -H false -m brackets -i true -d "" -D document 1.8 +OPTIONS = -m brackets -i true -d "" -D document 1.9 USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL 1.10 REALUSEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL-Complex 1.11