diff options
author | Glenn Morris <rgm@gnu.org> | 2016-12-10 18:23:51 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2016-12-10 18:23:51 -0800 |
commit | 5f7d906e88d692db7d60cb8112af9a1825e95627 (patch) | |
tree | 7871762345089fd8d99e36212da1666d369fc827 | |
parent | 442e2f61b742b315bbaec81085df9ee4e79495b1 (diff) | |
download | emacs-5f7d906e88d692db7d60cb8112af9a1825e95627.tar.gz |
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)
-rw-r--r-- | configure.ac | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/configure.ac b/configure.ac index d12b12b61aa..4ce7e21ba73 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.] ) |