-HTML_PAGE_NAMES = translations
-HTML_FILES = $(HTML_PAGE_NAMES:%=%.html)
-OUT_HTML_FILES = $(HTML_PAGE_NAMES:%=$(outdir)/%.html)
-
# ISOLANG must be defined
LANGS = $(shell $(PYTHON) $(top-src-dir)/python/langdefs.py)
ITEXI_FILES := $(call src-wildcard,*.itexi)
DOCUMENTATION_INCLUDES = \
+ -I $(top-src-dir)/Documentation/$(ISOLANG)/included \
-I $(top-src-dir)/Documentation \
-I $(top-build-dir)/Documentation/$(outdir)