Update RELEASE checklist.

diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES
index ee3c673f83639eee1aad2489518a6e8d589f0622..52c98360f4abda769ddb833e624dfb13366c5f90 100644 (file)
--- a/src/tools/RELEASE_CHANGES
+++ b/src/tools/RELEASE_CHANGES
@@ -15,6 +15,7 @@
 
 * Ports
     update ports list in doc/src/sgml/installation.sgml 
+    update INSTALL
     platform-specific FAQ's, if needed
 
 * Miscellaneous files