[Emacs-diffs] emacs-25 5f7d906: Bump makeinfo requirement from 4.7 to 4.13

[Glenn Morris]

branch: emacs-25
commit 5f7d906e88d692db7d60cb8112af9a1825e95627
Author: Glenn Morris <address@hidden>
Commit: Glenn Morris <address@hidden>

    Bump makeinfo requirement from 4.7 to 4.13
    
    * configure.ac: Bump makeinfo version requirement from 4.7 to 4.13.
    We need at least 4.8, and that may be buggy, so go for the last
    of the 4 series, which is 8 years old.  (Bug#25108)
---
 configure.ac |    7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/configure.ac b/configure.ac
index d12b12b..4ce7e21 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1189,14 +1189,13 @@ esac
 AC_SUBST([PAXCTL_dumped])
 AC_SUBST([PAXCTL_notdumped])
 
-## Need makeinfo >= 4.7 (?) to build the manuals.
+## Require makeinfo >= 4.13 (last of the 4.x series) to build the manuals.
 if test "$MAKEINFO" != "no"; then
   if test "$MAKEINFO" = "${am_missing_run}makeinfo"; then
     MAKEINFO=makeinfo
   fi
   case `($MAKEINFO --version) 2>/dev/null` in
-    *' (GNU texinfo) '4.[[7-9]]* | \
-    *' (GNU texinfo) '4.[[1-9][0-9]]* | \
+    *' (GNU texinfo) '4.1[[3-9]]* | \
     *' (GNU texinfo) '[[5-9]]* | \
     *' (GNU texinfo) '[[1-9][0-9]]* ) ;;
     *) MAKEINFO=no;;
@@ -1219,7 +1218,7 @@ if test "$MAKEINFO" = "no"; then
   if test "x${with_makeinfo}" = "xno"; then
     HAVE_MAKEINFO=no
   elif test ! -e "$srcdir/info/emacs" && test ! -e "$srcdir/info/emacs.info"; 
then
-    AC_MSG_ERROR( [You do not seem to have makeinfo >= 4.7, and your
+    AC_MSG_ERROR( [You do not seem to have makeinfo >= 4.13, and your
 source tree does not seem to have pre-built manuals in the 'info' directory.
 Either install a suitable version of makeinfo, or re-run configure
 with the '--without-makeinfo' option to build without the manuals.] )