Don't put INSTALL into w32 binary distributions. (Bug#9861)

 nt/makefile.w32-in (dist): Don't put the top-level INSTALL into the
 distribution.

diff --git a/nt/ChangeLog b/nt/ChangeLog
index 83dcb0a029bf916d04ada72b09dcfe9938de6cb6..08fd7677077f9448e78bbaf5c25815996707dd16 100644 (file)
--- 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 4e4e6eccbb7b089f9a41e0724be5e281a7ff5ee4..07d9be2c117b188254fdf85dfba533cd3bafca80 100644 (file)
--- a/nt/makefile.w32-in
+++ b/nt/makefile.w32-in
@@ -263,7 +263,6 @@ dist: install-bin
        $(CP) "$(INSTALL_DIR)/COPYING" $(TMP_DIST_DIR)\r
        $(CP) "$(INSTALL_DIR)/README" $(TMP_DIST_DIR)\r
        $(CP) "$(INSTALL_DIR)/README.W32" $(TMP_DIST_DIR)\r
-       $(CP) "$(INSTALL_DIR)/INSTALL" $(TMP_DIST_DIR)\r
        $(CP_DIR) "$(INSTALL_DIR)/bin" $(TMP_DIST_DIR)\r
        $(CP_DIR) "$(INSTALL_DIR)/etc" $(TMP_DIST_DIR)\r
        $(CP_DIR) "$(INSTALL_DIR)/info" $(TMP_DIST_DIR)\r