improve man pages build speed

Started by Peter Eisentrautover 8 years ago2 messagesdocs
Beta feature

Hackorum builds and tests every patch posted to the lists, not only commitfest submissions. This is Hackorum's own CI rather than the PostgreSQL project's, and it is still under testing - please report anything that looks wrong.

won't retrysuccessCI history

You can run a PostgreSQL built from this patch straight from Docker, with no checkout and no build:

docker run --rm -p 5432:5432 ghcr.io/hackorum-dev/postgres-patch:t76172
psql -h localhost -U postgres

Built from patchset v1 (message #1), July 27, 2026 at 09:05 PM.

Every patchset is also pushed to a branch of our PostgreSQL fork, so you can check out the same tree CI built. Without a PostgreSQL checkout:

git clone --branch t76172_1 https://github.com/hackorum-dev/postgres.git

In a checkout you already have, add the fork once:

git remote add hackorum https://github.com/hackorum-dev/postgres.git

then, for this patchset and every later one:

git fetch hackorum t76172_1 && git checkout t76172_1

Patchset v1 (message #1) is on t76172_1

Jump to latest
#1Peter Eisentraut
peter_e@gmx.net

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:

t76172_1
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
#2Peter Eisentraut
peter_e@gmx.net
In reply to: Peter Eisentraut (#1)
Re: improve man pages build speed

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