diff options
author | Eli Zaretskii <eliz@gnu.org> | 2002-01-11 09:35:34 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2002-01-11 09:35:34 +0000 |
commit | 6be2de589b79108b15e28bcb45cca5aa5b2810ac (patch) | |
tree | ce70a9bbfafd8a9051e6fc86ad1a8886cf7eb217 /make-dist | |
parent | 90f9f679592fed25b05e2c978459bd8529b14811 (diff) | |
download | emacs-6be2de589b79108b15e28bcb45cca5aa5b2810ac.tar.gz |
Fix last change.
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 561c2b2ed41..408c6137c86 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 "@set EMACSVER ${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'" |