-DOC_TEXI2HTML_SPLIT = --prefix=index --split=section
-WEB_TEXI2HTML_SPLIT = --prefix=index --split=node --node-files
-TEXI2HTML_SPLIT = $(DOC_TEXI2HTML_SPLIT)
-
-$(top-build-dir)/Documentation/$(outdir)/web/index.$(ISOLANG).html:\
- TEXI2HTML_SPLIT := $(WEB_TEXI2HTML_SPLIT)
-$(XREF_MAPS_DIR)/web.$(ISOLANG).xref-map:\
- XREF_MAP_FLAGS += --split=node