1.1 --- a/doc-src/TutorialI/IsaMakefile	Fri Dec 15 17:59:45 2000 +0100
     1.2 +++ b/doc-src/TutorialI/IsaMakefile	Fri Dec 15 18:06:48 2000 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  SRC = $(ISABELLE_HOME)/src
     1.5  OUT = $(ISABELLE_OUTPUT)
     1.6  LOG = $(OUT)/log
     1.7 -USEDIR = @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL
     1.8 +USEDIR = @$(ISATOOL) usedir -m brackets -i true -d dvi -D document $(OUT)/HOL
     1.9  
    1.10  ## HOL
    1.11