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 | 47d105b07e6e454d991ed7e36683b11ad79e093a (patch) | |
| tree | 1dc07d1424a1a26caf89d59a452b0108f40818c9 /make-dist | |
| parent | 9a49418b11a33d8a90ca812395d3de918a672244 (diff) | |
| download | emacs-47d105b07e6e454d991ed7e36683b11ad79e093a.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 |