build: list makeinfo 4.13 as a build-from-git requirement

* bootstrap.conf (buildreq): List 4.13 as minimum makeinfo version.
Prompted by Joachim Schmitz's report in http://debbugs.gnu.org/9050.

diff --git a/THANKS.in b/THANKS.in
index 4bbee80c55fbc8c622923f9ef639f18d87228d70..90d04d83294fa6fa44f81d2718e44390b088195a 100644 (file)
--- a/THANKS.in
+++ b/THANKS.in
@@ -278,6 +278,7 @@ Jesse Thilo                         jgt2@eecs.lehigh.edu
 Jie Xu                              xuj@iag.net
 Jim Blandy                          jimb@cyclic.com
 Jim Dennis                          jimd@starshine.org
+Joachim Schmitz                     jojo@schmitz-digital.de
 Joakim Rosqvist                     dvljrt@cs.umu.se
 Jochen Hein                         jochen@jochen.org
 Joe Orton                           joe@manyfish.co.uk

diff --git a/bootstrap.conf b/bootstrap.conf
index 08bfc21864f09128d5dac46d2e78af7748950422..d91bee0c8bf9c7a272726eeb275d5674e1ddd53d 100644 (file)
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -294,7 +294,7 @@ gettext    0.17
 git        1.4.4
 gperf      -
 gzip       -
-makeinfo   -
+makeinfo   4.13
 patch      -
 perl       5.5
 rsync      -