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.

1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS.in b/THANKS.in
index 4bbee80c5..90d04d832 100644
--- 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