# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1187924292 0
# Node ID 8b69ffdd37487663ba483ecbbdf7e57627e74e32
# Parent  560ac93a642f05a51ae42f1e9d7a17c226be6f38
Check for a suitably recent makeinfo.

diff -r 560ac93a642f -r 8b69ffdd3748 configure.in
--- a/configure.in	Fri Aug 24 02:57:53 2007 +0000
+++ b/configure.in	Fri Aug 24 02:58:12 2007 +0000
@@ -1343,6 +1343,21 @@
 dnl Don't use GZIP, which is used by gzip for additional parameters.
 AC_PATH_PROG(GZIP_PROG, gzip)
 
+
+## Need makeinfo >= 4.8 (?) to build the manuals.
+AC_PATH_PROG(MAKEINFO, makeinfo, no)
+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\.[[8-9]])'`" = x; then
+   MAKEINFO=no    
+fi
+
+if test "$MAKEINFO" = "no"; then
+  AC_MSG_ERROR( [makeinfo >= 4.8 is required] )
+fi
+
+
 dnl Add our options to ac_link now, after it is set up.
 
 if test x$GCC = xyes && test "x$GCC_LINK_TEST_OPTIONS" != x