+.PHONY: binary-dist binary-dist.doc.%
+
+binary-dist: $(foreach SUBDIR,$(SUBDIRS),binary-dist.doc.$(SUBDIR))
+ $(MKDIRHIER) $(BIN_DIST_DIR)/docs
+ cp Makefile $(BIN_DIST_DIR)/docs/
+ cp $(PAGES) $(BIN_DIST_DIR)/docs/
+
+$(foreach SUBDIR,$(SUBDIRS),binary-dist.doc.$(SUBDIR)): \
+binary-dist.doc.%:
+ $(MAKE) -C $* binary-dist
+