diff options
author | Richard M. Stallman <rms@gnu.org> | 1994-05-30 11:55:22 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1994-05-30 11:55:22 +0000 |
commit | 652a9d57a65b08a643e6528c8c12ccc05dd5caad (patch) | |
tree | 5feb6e91c169aa2c406f842d2c33bde38c1d14be /make-dist | |
parent | 6e30e4d8009d30b578dec5ba294f60630b912081 (diff) | |
download | emacs-652a9d57a65b08a643e6528c8c12ccc05dd5caad.tar.gz |
(shortversion): Don't assume another period follows.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/make-dist b/make-dist index 2aaac22585b..27592a258cc 100755 --- a/make-dist +++ b/make-dist @@ -63,7 +63,7 @@ fi ### Find out which version of Emacs this is. shortversion=`grep 'defconst[ ]*emacs-version' lisp/version.el \ - | sed -e 's/^.*"\([0-9][0-9]*\.[0-9][0-9]*\)\..*$/\1/'` + | sed -e 's/^.*"\([0-9][0-9]*\.[0-9][0-9]*\).*$/\1/'` version=`grep 'defconst[ ]*emacs-version' lisp/version.el \ | sed -e 's/^[^"]*"\([^"]*\)".*$/\1/'` if [ ! "${version}" ]; then @@ -71,6 +71,8 @@ if [ ! "${version}" ]; then exit 1 fi +echo $version and $shortversion + if grep -s "GNU Emacs version ${shortversion}" ./man/emacs.texi > /dev/null; then true else |