diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES
index ee3c673f83..52c98360f4 100644
--- 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