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.
>