Update release script after rev.14240

diff --git a/mkrelease.sh b/mkrelease.sh
index f0fa5635c26be1c2d4fa5c7dc352a1c4636c1ed7..d66fe6b1f05d335fb25d4d9ac678fdb114170ea4 100755 (executable)
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -60,8 +60,8 @@ if [ ${name} != ${PACKAGE}-${VERSION} ]; then
        echo "${name} != ${PACKAGE}-${VERSION}"
        exit 1
 fi
-RELEASE=`echo $VERSION | cut -d. -f1,2 | cut -d- -f1`
-NOTES_VERSION=`grep "$VERSION" doc/release-notes/release-${RELEASE}.html`
+RELEASE=`echo $VERSION | cut -d. -f1,1 | cut -d- -f1`
+NOTES_VERSION=`grep "$VERSION" doc/release-notes/release-${RELEASE}.sgml`
 if test "x$NOTES_VERSION" = "x"; then
        echo "ERROR! Release Notes HTML version numbers do not match!"
        exit 1