]> git.eshelyaron.com Git - emacs.git/commitdiff
Make version checking in emacs.texi consistent with how we set it there.
authorEli Zaretskii <eliz@gnu.org>
Fri, 11 Jan 2002 09:32:50 +0000 (09:32 +0000)
committerEli Zaretskii <eliz@gnu.org>
Fri, 11 Jan 2002 09:32:50 +0000 (09:32 +0000)
make-dist

index 6eb6a97b7c98673a2080a6735cfd897876689573..561c2b2ed41d0565bb53a7fd12c2e488cf3e08ab 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'"