-BIN_DIST_LIBDIR=$(BIN_DIST_DIR)/libraries
-
-LIBRARY_SUBDIRS=$(shell $(MAKE) -s -C libraries subdirs)
-
-BINARY_DIST_LIBRARY_RULES=$(foreach d,$(LIBRARY_SUBDIRS),binary-dist-lib-$d)
-
-binary-dist:: $(BINARY_DIST_LIBRARY_RULES)
- cp libraries/Makefile $(BIN_DIST_LIBDIR)
- cp libraries/gen_contents_index $(BIN_DIST_LIBDIR)
- cp libraries/index.html $(BIN_DIST_LIBDIR)
- cp libraries/doc-index.html $(BIN_DIST_LIBDIR)
- cp -a libraries/stamp $(BIN_DIST_LIBDIR)