Maintenance: use SGML for release checks after rev.13896

diff --git a/mkrelease.sh b/mkrelease.sh
index f0fa5635c26be1c2d4fa5c7dc352a1c4636c1ed7..d7e97d4cc06c33ab6b8fc6c8449fa20a86bcede6 100755 (executable)
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -61,7 +61,7 @@ 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`
+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