# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1189885545 0
# Node ID 9b680bcdc6f21613ec603bc5afa927d49127d6e5
# Parent  9dfed345b6b7875c3d0a14ec5fe03b5d51608f0b
Fix makeinfo version regexp.

diff -r 9dfed345b6b7 -r 9b680bcdc6f2 configure
--- a/configure	Sat Sep 15 19:45:32 2007 +0000
+++ b/configure	Sat Sep 15 19:45:45 2007 +0000
@@ -5390,7 +5390,7 @@
 
 
 if test "$MAKEINFO" != "no" && \
-  test x"`$MAKEINFO --version 2> /dev/null | $EGREP 'texinfo[^0-9]*([5-9]|4\.[6-9])'`" = x; then
+  test x"`$MAKEINFO --version 2> /dev/null | $EGREP 'texinfo[^0-9]*([1-4][0-9]+|[5-9]|4\.[6-9]|4\.[1-5][0-9]+)'`" = x; then
    MAKEINFO=no
 fi