improve man pages build speed
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.)
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
Attachments:
0001-doc-Improve-man-build-speed.patchtext/plain; charset=UTF-8; name=0001-doc-Improve-man-build-speed.patch; x-mac-creator=0; x-mac-type=0Download+3-2
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