* configure.in: Require makeinfo >= 4.7.
authorGlenn Morris <rgm@gnu.org>
Mon, 9 Apr 2012 00:50:17 +0000 (17:50 -0700)
committerGlenn Morris <rgm@gnu.org>
Mon, 9 Apr 2012 00:50:17 +0000 (17:50 -0700)
commit23df914bc57014c86915cf6251bd0e18bff1021c
tree9cfe67cc15aec0e5fec50f45c2480dfdf1caabe6
parent55c131eef9a9e55fc9dbbac374118b18a5eb5b0e
* configure.in: Require makeinfo >= 4.7.
Eg org.texi has been using 4.7 functions for some time.

Fixes: debbugs:10910
ChangeLog
configure.in