changeset 110951:85fe6b298326

* make-dist: Remove the unnecessary $shortversion.
author Glenn Morris <rgm@gnu.org>
date Tue, 12 Oct 2010 01:01:11 -0700
parents 77c12a233de2
children 495ef3733d20
files make-dist
diffstat 1 files changed, 2 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/make-dist	Tue Oct 12 00:46:57 2010 -0700
+++ b/make-dist	Tue Oct 12 01:01:11 2010 -0700
@@ -153,8 +153,6 @@
 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 @@
   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'"