--- a/doc-src/Locales/IsaMakefile Wed Jun 01 10:52:17 2005 +0200
+++ b/doc-src/Locales/IsaMakefile Wed Jun 01 12:30:49 2005 +0200
@@ -13,7 +13,7 @@
SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
-USEDIR = $(ISATOOL) usedir -i true -d "" -D generated
+USEDIR = $(ISATOOL) usedir -i true -d "" -H false -D generated
## Locales
@@ -23,7 +23,7 @@
HOL:
@cd $(SRC)/HOL; $(ISATOOL) make HOL
-$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy
+$(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy Locales/document/root.tex Locales/document/root.bib
@$(USEDIR) $(OUT)/HOL Locales