Regenerated: autoconf configure.in

diff --git a/configure b/configure
index 7e99f1f92bdfc8ecf48e619036f679075706bc11..2d125f25704c0408488aaf0064cd648ad7c602b9 100755 (executable)
--- a/configure
+++ b/configure
@@ -1436,7 +1436,7 @@ echo "configure:1436: checking version of $MAKEINFO" >&5
   ac_prog_version=`$MAKEINFO --version 2>&1 | sed -n 's/^.*GNU texinfo.* \([0-9][0-9.]*\).*$/\1/p'`
   case $ac_prog_version in
     '') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;;
-    3.1[1-9] | 3.[2-9][0-9] | 1.6[89] | 1.7[0-9])
+    3.1[1-9] | 3.[2-9][0-9] | 4.* | 1.6[89] | 1.7[0-9])
        ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;;
     *) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;;