diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2002-01-11 09:32:50 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2002-01-11 09:32:50 +0000 |
| commit | 782a6ffb276fff74425250b174c6d636f91e4e3e (patch) | |
| tree | 7da3b821af9513fcc08937555313d64b45c94138 /make-dist | |
| parent | 5f5aef0ab3e9dcdb3439fcc0cb039a751338cb66 (diff) | |
| download | emacs-782a6ffb276fff74425250b174c6d636f91e4e3e.tar.gz | |
Make version checking in emacs.texi consistent with how we set it there.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
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'" |