For what it's worth, I tried a current version of makeinfo (version 6.3) and it was so slow that I killed it before it finished; I thought something was wrong with it.

On Thu, Dec 8, 2016 at 10:49 AM Glenn Morris <rgm@gnu.org> wrote:

Eli Zaretskii wrote:

> 4.13, perhaps, to accommodate those who don't want to switch to the
> slower Perl-based releases?

That would be my preference.