Re: builds are getting slower?

[Glenn Morris]

Paul Eggert wrote:

> Is it possible that your build platform switched from Texinfo 4 to
> Texinfo 5 or 6? That could explain things, as the new 'makeinfo' is
> way slower.

No. (I'm a /usr/local/bin/makeinfo-4 holdout for this very reason.)
At some point I'll try to check if I can reproduce that November change
building before and after versions on the same day.