doc-src/Locales/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 27063 d1d35284542f
child 30458 804de935c328
     1.1 --- a/doc-src/Locales/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/doc-src/Locales/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  SRC = $(ISABELLE_HOME)/src
     1.5  OUT = $(ISABELLE_OUTPUT)
     1.6  LOG = $(OUT)/log
     1.7 -USEDIR = $(ISATOOL) usedir -d false -D document
     1.8 +USEDIR = $(ISABELLE_TOOL) usedir -d false -D document
     1.9  
    1.10  
    1.11  ## Locales
    1.12 @@ -21,7 +21,7 @@
    1.13  Locales: $(LOG)/HOL-Locales.gz
    1.14  
    1.15  HOL:
    1.16 -	@cd $(SRC)/HOL; $(ISATOOL) make HOL
    1.17 +	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
    1.18  
    1.19  $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \
    1.20    Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \