diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES
index c9b1733588a..23af8e0e863 100644
--- a/src/tools/RELEASE_CHANGES
+++ b/src/tools/RELEASE_CHANGES
@@ -6,7 +6,7 @@
       o src/include/pg_config.h.win32 (update for minor release)
 
 * Release notes
-    update doc/src/sgml/release.sgml and generate HISTORY
+    update doc/src/sgml/release.sgml
 
 * Documentation
     document all new features
@@ -15,8 +15,7 @@
 
 * Ports
     update ports list in doc/src/sgml/installation.sgml
-    update INSTALL
-    platform-specific FAQ's, if needed
+    update platform-specific FAQ's, if needed
 
 * Miscellaneous files
     doc/bug.template