Maintenance: check release notes on packaging

diff --git a/mkrelease.sh b/mkrelease.sh
index 7330c39cf1b316f80016ba8f7d506fbec8385875..6e3ebfe5984adb2af68b8dc03c497c7402728eb8 100755 (executable)
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -53,6 +53,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 Notes HTML version numbers do not match!"
+       exit 1
+fi
 ed -s configure.ac <<EOS
 g/${VERSION}-BZR/ s//${VERSION}/
 w