From d88bcf6b1caa8e6f38fbb24efccc707a16ac36ab Mon Sep 17 00:00:00 2001 From: Amos Jeffries Date: Tue, 9 Dec 2014 08:40:40 -0800 Subject: [PATCH] Maintenance: check release notes on packaging --- mkrelease.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mkrelease.sh b/mkrelease.sh index af788c6cf8..67291e6429 100755 --- 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 <