diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5505,7 +5505,7 @@ fi else # We need an additional level of quoting to make sed's regexps work. makeinfo_version=`$MAKEINFO --version 2>&1 \ - | sed '1 { s/^.* \([^ ]\+\)$/\1/;q }'` + | sed 's/^.* \([^ ]\+\)$/\1/;1q'` # Consider only the first two numbers in version number string. makeinfo_version_major=`echo $makeinfo_version \ | sed 's/^\([0-9]*\).*$/\1/'` |