Subject: Re: improve man pages build speed
From: Peter Eisentraut <peter.eisentraut@2ndquadrant.com>
To: pgsql-docs <pgsql-docs@postgresql.org>
References: <0ca26db9-b7d3-2153-bb5b-383b49c5d560@2ndquadrant.com>
Organization: 2ndQuadrant
Message-ID: <781e0055-3535-2776-d70b-0903b660fc58@2ndquadrant.com>
Date: Wed, 28 Feb 2018 09:28:45 -0500
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0)
 Gecko/20100101 Thunderbird/52.6.0
MIME-Version: 1.0
In-Reply-To: <0ca26db9-b7d3-2153-bb5b-383b49c5d560@2ndquadrant.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Precedence: bulk

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