distrib/INSTALL \
$(BIN_DIST_MAIN_DIR)/ANNOUNCE \
$(BIN_DIST_MAIN_DIR)/VERSION \
$(BIN_DIST_MAIN_DIR)/RELEASE \
$(BIN_DIST_MAIN_DIR)/LICENSE \
distrib/INSTALL \
$(BIN_DIST_MAIN_DIR)/ANNOUNCE \
$(BIN_DIST_MAIN_DIR)/VERSION \
$(BIN_DIST_MAIN_DIR)/RELEASE \
$(BIN_DIST_MAIN_DIR)/LICENSE \