diff options
| author | Glenn Morris <rgm@gnu.org> | 2010-10-12 01:01:11 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2010-10-12 01:01:11 -0700 |
| commit | 37ea9179e5a37f1ee5f43ea8a6b30aa68b975c1f (patch) | |
| tree | d97ba084da42c96fd65dad3ae98f58c29b39bc8d /make-dist | |
| parent | e207780e8f6bb10e132162a191a72d299633da92 (diff) | |
| download | emacs-37ea9179e5a37f1ee5f43ea8a6b30aa68b975c1f.tar.gz | |
* make-dist: Remove the unnecessary $shortversion.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/make-dist b/make-dist index c499645c4f2..c713f8e1574 100755 --- a/make-dist +++ b/make-dist @@ -153,8 +153,6 @@ then fi ### Find out which version of Emacs this is. -shortversion=`grep 'char emacs_version' src/emacs.c \ - | sed -e 's/^.*"\([0-9][0-9]*\.[0-9][0-9]*\).*$/\1/'` version=`grep 'char emacs_version' src/emacs.c \ | sed -e 's/^[^"]*"\([^"]*\)".*$/\1/'` if [ ! "${version}" ]; then @@ -162,11 +160,11 @@ if [ ! "${version}" ]; then exit 1 fi -echo Version numbers are $version and $shortversion +echo Version number is $version if [ $update = yes ]; then - if grep -s "@set EMACSVER *${shortversion}" ./doc/emacs/emacsver.texi > /dev/null; then + if grep -s "@set EMACSVER *${version}" ./doc/emacs/emacsver.texi > /dev/null; then true else echo "You must update the version number in \`./doc/emacs/emacsver.texi'" |