Mercurial > emacs
diff make-dist @ 42652:e13df10b6b63
Make version checking in emacs.texi consistent with how we set it there.
| author | Eli Zaretskii <eliz@gnu.org> |
|---|---|
| date | Fri, 11 Jan 2002 09:39:16 +0000 |
| parents | 62671693b79f |
| children | 1109a8546104 |
line wrap: on
line diff
--- a/make-dist Fri Jan 11 09:15:51 2002 +0000 +++ b/make-dist Fri Jan 11 09:39:16 2002 +0000 @@ -150,7 +150,7 @@ 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'"