On 2/23/18 19:56, Peter Eisentraut wrote:
> The attached patch improves the build speed for the man pages on my
> system from about 50 seconds to about 15 seconds.
>
> It looks like the stylesheets are spending a lot of time counting the
> links in the man pages so that it can put them into numbered endnotes,
> but we don't have anything like that anyway, so we can save a lot of
> time by turning this off. (I suppose we'd have to turn it back on if we
> have have content like that, but we've never had anything like that
> before, so it doesn't seem particularly pressing.)
committed
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services