# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1286870471 25200
# Node ID 85fe6b298326ec7d16c89a3ecac099502060046f
# Parent  77c12a233de27349d2eb12580a665b76f6d9f860
* make-dist: Remove the unnecessary $shortversion.

diff -r 77c12a233de2 -r 85fe6b298326 make-dist
--- 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'"