From 782a6ffb276fff74425250b174c6d636f91e4e3e Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 11 Jan 2002 09:32:50 +0000
Subject: [PATCH] Make version checking in emacs.texi consistent with how we
 set it there.

---
 make-dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-dist b/make-dist
index 6eb6a97b7c9..561c2b2ed41 100755
--- 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'"
-- 
2.39.2