OUT_TXT_FILES = $(addprefix $(outdir)/, $(addsuffix .txt, $(README_TOP_FILES)))
### Web site idiosyncrases
-
-$(outdir)/web/index.html: TEXI2HTML_SPLIT = $(WEB_TEXI2HTML_SPLIT)
$(XREF_MAPS_DIR)/web.xref-map: XREF_MAP_FLAGS += --split=node
+
### bad hack for badly-integrated roadmap.
$(outdir)/ROADMAP:
cp $(top-src-dir)/ROADMAP $(outdir)