diff options
| -rwxr-xr-x | make-dist | 6 |
1 files changed, 2 insertions, 4 deletions
| @@ -153,8 +153,6 @@ then | |||
| 153 | fi | 153 | fi |
| 154 | 154 | ||
| 155 | ### Find out which version of Emacs this is. | 155 | ### Find out which version of Emacs this is. |
| 156 | shortversion=`grep 'char emacs_version' src/emacs.c \ | ||
| 157 | | sed -e 's/^.*"\([0-9][0-9]*\.[0-9][0-9]*\).*$/\1/'` | ||
| 158 | version=`grep 'char emacs_version' src/emacs.c \ | 156 | version=`grep 'char emacs_version' src/emacs.c \ |
| 159 | | sed -e 's/^[^"]*"\([^"]*\)".*$/\1/'` | 157 | | sed -e 's/^[^"]*"\([^"]*\)".*$/\1/'` |
| 160 | if [ ! "${version}" ]; then | 158 | if [ ! "${version}" ]; then |
| @@ -162,11 +160,11 @@ if [ ! "${version}" ]; then | |||
| 162 | exit 1 | 160 | exit 1 |
| 163 | fi | 161 | fi |
| 164 | 162 | ||
| 165 | echo Version numbers are $version and $shortversion | 163 | echo Version number is $version |
| 166 | 164 | ||
| 167 | if [ $update = yes ]; | 165 | if [ $update = yes ]; |
| 168 | then | 166 | then |
| 169 | if grep -s "@set EMACSVER *${shortversion}" ./doc/emacs/emacsver.texi > /dev/null; then | 167 | if grep -s "@set EMACSVER *${version}" ./doc/emacs/emacsver.texi > /dev/null; then |
| 170 | true | 168 | true |
| 171 | else | 169 | else |
| 172 | echo "You must update the version number in \`./doc/emacs/emacsver.texi'" | 170 | echo "You must update the version number in \`./doc/emacs/emacsver.texi'" |