diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES
index 788cd2170b..9257c73327 100644
--- a/src/tools/RELEASE_CHANGES
+++ b/src/tools/RELEASE_CHANGES
@@ -7,7 +7,7 @@
 
 * Release notes
     update doc/src/sgml/release.sgml 
-    re-generate HISTORY
+    HISTORY
 
 * Documentation
     document all new features