make release: Add a check that version and debian/changelog are consistent

[notmuch] / RELEASING

diff --git a/RELEASING b/RELEASING
index e438a1d0c2c7735a5766d943aca3b72dfe68dad4..70a2ec547d2653379c476c99bc9dbd54173a7c07 100644 (file)
--- a/RELEASING
+++ b/RELEASING
@@ -72,6 +72,7 @@ repository. From here, there are just a few steps to release:
 5) Run "make release" which will perform the following steps:
 
        * Ensure that the version consists only of digits and periods
+       * Ensure that version and debian/changelog have the same version
        * Verify that the source tree is clean
        * Compile the current notmuch code (aborting release if it fails)
        * Run the notmuch test suite (aborting release if it fails)