1.1 --- a/doc-src/ZF/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/doc-src/ZF/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -16,19 +16,19 @@
     1.4  OUT = $(ISABELLE_OUTPUT)
     1.5  LOG = $(OUT)/log
     1.6  OPTIONS = -m brackets -i true -d "" -D document
     1.7 -USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/ZF
     1.8 +USEDIR = @$(ISABELLE_TOOL) usedir $(OPTIONS) $(OUT)/ZF
     1.9  
    1.10  
    1.11  ## ZF
    1.12  
    1.13  ZF:
    1.14 -	@cd $(SRC)/ZF; $(ISATOOL) make ZF
    1.15 +	@cd $(SRC)/ZF; $(ISABELLE_TOOL) make ZF
    1.16  
    1.17  styles:
    1.18  	@rm -f isabelle.sty
    1.19  	@rm -f isabellesym.sty
    1.20  	@rm -f pdfsetup.sty
    1.21 -	@$(ISATOOL) latex -o sty >/dev/null
    1.22 +	@$(ISABELLE_TOOL) latex -o sty >/dev/null
    1.23  	@rm -f pdfsetup.sty
    1.24  	@rm -f document/isabelle.sty
    1.25  	@rm -f document/isabellesym.sty