13 SRC = $(ISABELLE_HOME)/src
14 OUT = $(ISABELLE_OUTPUT)
16 USEDIR = $(ISABELLE_TOOL) usedir -d false -D document
21 Locales: $(LOG)/HOL-Locales.gz
24 @cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
26 $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \
27 Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
28 Locales/document/root.tex Locales/document/root.bib
29 @$(USEDIR) $(OUT)/HOL Locales
30 @rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \
31 Locales/document/pdfsetup.sty
37 @rm -f $(LOG)/HOL-Locales.gz