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 4bbee80..90d04d8 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 08bfc21..d91bee0 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      -