changeset 84573:9dfed345b6b7

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