From beb1de335165ac4459b50aef8d5972b70574b51c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20Laleve=CC=81e?= <nicolas.lalevee@hibnet.org>
Date: Thu, 6 Nov 2014 21:28:37 +0100
Subject: [PATCH] no more RELEASE_NOTE

---
 doc/dev/makerelease.html | 1 -
 1 file changed, 1 deletion(-)

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>