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

diff -r 6a75da04c64f -r 9dfed345b6b7 configure.in
--- a/configure.in	Sat Sep 15 19:45:17 2007 +0000
+++ b/configure.in	Sat Sep 15 19:45:32 2007 +0000
@@ -1347,7 +1347,7 @@
 dnl By this stage, configure has already checked for egrep and set EGREP, 
 dnl or exited with an error if no egrep was found.
 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