| changeset 27063 | d1d35284542f |
| parent 17135 | 58f044289dca |
| child 28500 | 4b79e5d3d0aa |
--- a/doc-src/Locales/IsaMakefile Tue Jun 03 11:55:35 2008 +0200 +++ b/doc-src/Locales/IsaMakefile Tue Jun 03 12:34:22 2008 +0200 @@ -23,7 +23,8 @@ 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/Examples.thy \ + Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \ Locales/document/root.tex Locales/document/root.bib @$(USEDIR) $(OUT)/HOL Locales