From f6755a2f88d16e9249253ee380f3555f1cfdb085 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 11 Oct 2017 23:20:19 +0200
Subject: [PATCH] another pre-release check to do

---
 doc/doxygen/inside_release.doc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/doxygen/inside_release.doc b/doc/doxygen/inside_release.doc
index dd25c92d4d..f3be6de5f9 100644
--- a/doc/doxygen/inside_release.doc
+++ b/doc/doxygen/inside_release.doc
@@ -9,6 +9,7 @@ Please apply the following checklist before releasing.
 
 - Sources
   - The external patches (Debian, etc) are integrated.
+    The COPYING file is aligned with Debian's copyright file.
   - The version number is correctly marked in CMakeLists.txt, in macros
     SIMGRID_VERSION_MAJOR and friends. 
   - The "make distcheck" target works (testing that every files needed
-- 
2.20.1