Make version checking in emacs.texi consistent with how we set it there.

diff --git a/make-dist b/make-dist
index 7441aa2b6edf6c78d0f18f9c92da45d2772d537d..f5f2783419ee9bba28fff71f3054b06d4c240c0c 100755 (executable)
--- a/make-dist
+++ b/make-dist
@@ -150,7 +150,7 @@ echo Version numbers are $version and $shortversion
 
 if [ $update = yes ];
 then
-  if grep -s "GNU Emacs version ${shortversion}" ./man/emacs.texi > /dev/null; then
+  if grep -s "@set EMACSVER  *${shortversion}" ./man/emacs.texi > /dev/null; then
     true
   else
     echo "You must update the version number in \`./man/emacs.texi'"