diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2002-01-11 09:39:16 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2002-01-11 09:39:16 +0000 |
| commit | ad4c2ff25d628e1c144eede9b345710fc2db5d74 (patch) | |
| tree | d9a2c595c6efb1f4bb42b82443005c9e0550cfcb /make-dist | |
| parent | d1c1661b895bc408aa2fb561324651c6210ea7e0 (diff) | |
| download | emacs-ad4c2ff25d628e1c144eede9b345710fc2db5d74.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 7441aa2b6ed..f5f2783419e 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'" |