Maintenance: check release notes on packaging

diff --git a/mkrelease.sh b/mkrelease.sh
index af788c6cf8d0bdadc5ce2f469c2fd00c56706751..67291e64291e19de6e89c1bbd20549f4b870e35e 100755 (executable)
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -61,6 +61,11 @@ if [ ${name} != ${PACKAGE}-${VERSION} ]; then
        exit 1
 fi
 RELEASE=`echo $VERSION | cut -d. -f1,2 | cut -d- -f1`
+NOTES_VERSION=`grep "$VERSION" doc/release-notes/release-${RELEASE}.html`
+if test "x$NOTES_VERSION" = "x"; then
+       echo "ERROR! Release Notse HTML version numbers do not match!"
+       exit 1
+fi
 ed -s configure.ac <<EOS
 g/${VERSION}-BZR/ s//${VERSION}/
 w