diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -5507,7 +5507,7 @@ fi echo $ECHO_N "checking for makeinfo version... $ECHO_C" >&6 # We need an additional level of quoting to make sed's regexps work. makeinfo_version=`$MAKEINFO --version 2>&1 \ - | sed 's/^.* \([^ ]\+\)$/\1/;1q'` + | sed -e 's/^.* \([^ ][^ ]*\)$/\1/' -e '1q'` echo "$as_me:$LINENO: result: $makeinfo_version" >&5 echo "${ECHO_T}$makeinfo_version" >&6 # Consider only the first two numbers in version number string. @@ -5518,7 +5518,7 @@ echo "${ECHO_T}$makeinfo_version" >&6 makeinfo_version_minor=0 else makeinfo_version_minor=`echo $makeinfo_version \ - | sed 's/^[^.]\+\(.*\)$/\1/'` + | sed 's/^[^.][^.]*\(.*\)$/\1/'` # No minor version number at all? if test -z "$makeinfo_version_minor"; then makeinfo_version_minor=0 |