--- configure.org 2005-12-10 18:44:53.000000000 +0300 +++ configure 2005-12-10 19:10:58.000000000 +0300 @@ -5512,13 +5512,13 @@ echo "${ECHO_T}$makeinfo_version" >&6 # Consider only the first two numbers in version number string. makeinfo_version_major=`echo $makeinfo_version \ - | sed 's/^\([0-9]*\).*$/\1/'` + | sed 's/^.* \([0-9]*\)\.\([0-9]*\).*$/\1/'` if test -z "$makeinfo_version_major"; then makeinfo_version_major=0 makeinfo_version_minor=0 else makeinfo_version_minor=`echo $makeinfo_version \ - | sed 's/^[^.]\+\(.*\)$/\1/'` + | sed 's/^.* \([0-9]*\)\.\([0-9]*\).*$/\2/'` # No minor version number at all? if test -z "$makeinfo_version_minor"; then makeinfo_version_minor=0