1.1 --- a/doc-src/TutorialI/IsaMakefile Fri Sep 28 14:04:14 2001 +0200
1.2 +++ b/doc-src/TutorialI/IsaMakefile Fri Sep 28 14:10:01 2001 +0200
1.3 @@ -15,8 +15,10 @@
1.4 SRC = $(ISABELLE_HOME)/src
1.5 OUT = $(ISABELLE_OUTPUT)
1.6 LOG = $(OUT)/log
1.7 -USEDIR = @$(ISATOOL) usedir -m brackets -i true -d dvi -D document $(OUT)/HOL
1.8 -REALUSEDIR = @$(ISATOOL) usedir -m brackets -i true -d dvi -D document $(OUT)/HOL-Real
1.9 +OPTIONS = -m brackets -i true -d dvi -D document
1.10 +USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL
1.11 +REALUSEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL-Real
1.12 +
1.13
1.14 ## HOL
1.15