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)