* configure.in: Require makeinfo >= 4.7.