Now a real fix, as suggested by Keith.

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 71a6fc25..bf0c250c 100755
--- a/configure
+++ b/configure
@@ -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/'`