diff --git a/doc/dev/makerelease.html b/doc/dev/makerelease.html
index 49d8d578..936e2e64 100644
--- a/doc/dev/makerelease.html
+++ b/doc/dev/makerelease.html
@@ -32,7 +32,6 @@ Requirements for making a release are similar to the requirements for building f
 <h3>1. Check the files which needs to be updated for the release.</h3>
 On the master, check that files which require update for the release are up to date.
 This includes particularly:
-RELEASE_NOTES
 CHANGES
 README
 <h3>2. Check out a clean copy of the branch</h3>