changeset 84574:9b680bcdc6f2

Fix makeinfo version regexp.
author Glenn Morris <rgm@gnu.org>
date Sat, 15 Sep 2007 19:45:45 +0000
parents 9dfed345b6b7
children 2b22db432cd6
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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