1.1 --- a/doc-src/Locales/IsaMakefile	Tue Jun 03 11:55:35 2008 +0200
     1.2 +++ b/doc-src/Locales/IsaMakefile	Tue Jun 03 12:34:22 2008 +0200
     1.3 @@ -23,7 +23,8 @@
     1.4  HOL:
     1.5  	@cd $(SRC)/HOL; $(ISATOOL) make HOL
     1.6  
     1.7 -$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy \
     1.8 +$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \
     1.9 +  Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
    1.10    Locales/document/root.tex Locales/document/root.bib
    1.11  	@$(USEDIR) $(OUT)/HOL Locales
    1.12