diff options
| -rw-r--r-- | nt/ChangeLog | 5 | ||||
| -rw-r--r-- | nt/makefile.w32-in | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/nt/ChangeLog b/nt/ChangeLog index 83dcb0a029b..08fd7677077 100644 --- a/nt/ChangeLog +++ b/nt/ChangeLog @@ -1,3 +1,8 @@ +2011-10-25 Eli Zaretskii <eliz@gnu.org> + + * makefile.w32-in (dist): Don't put the top-level INSTALL into the + distribution. (Bug#9861) + 2011-10-25 Christoph Scholtes <cschol2112@googlemail.com> * INSTALL: Update URL for GTK download page. diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in index 4e4e6eccbb7..07d9be2c117 100644 --- a/nt/makefile.w32-in +++ b/nt/makefile.w32-in @@ -263,7 +263,6 @@ dist: install-bin $(CP) "$(INSTALL_DIR)/COPYING" $(TMP_DIST_DIR)
$(CP) "$(INSTALL_DIR)/README" $(TMP_DIST_DIR)
$(CP) "$(INSTALL_DIR)/README.W32" $(TMP_DIST_DIR)
- $(CP) "$(INSTALL_DIR)/INSTALL" $(TMP_DIST_DIR)
$(CP_DIR) "$(INSTALL_DIR)/bin" $(TMP_DIST_DIR)
$(CP_DIR) "$(INSTALL_DIR)/etc" $(TMP_DIST_DIR)
$(CP_DIR) "$(INSTALL_DIR)/info" $(TMP_DIST_DIR)
|