author | wenzelm |
Sat, 07 Oct 2006 01:31:04 +0200 | |
changeset 20876 | bc2669d5744d |
parent 17135 | 58f044289dca |
child 27063 | d1d35284542f |
permissions | -rw-r--r-- |
## targets default: Locales images: test: Locales all: images test ## global settings SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log USEDIR = $(ISATOOL) usedir -d false -D document ## Locales Locales: $(LOG)/HOL-Locales.gz HOL: @cd $(SRC)/HOL; $(ISATOOL) make HOL $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Locales.thy \ Locales/document/root.tex Locales/document/root.bib @$(USEDIR) $(OUT)/HOL Locales ## clean clean: @rm -f $(LOG)/HOL-Locales.gz