Re: Re: [COMMITTERS] pgsql: Build HTML documentation using XSLT stylesheets by default

On 2016-11-17 02:15, Peter Eisentraut wrote:
> On 11/16/16 1:14 PM, Erik Rijkers wrote:
>> real    5m21.348s  -- for 'make -j 8 html'
>> versus
>> real    1m8.502s   -- for 'make -j 8 oldhtml'
>> 
>> Centos 6.6 - I suppose it's getting a bit old, I don't know if that's
>> the cause of the discrepancy with other's measurements.
> 
> I tested the build on a variety of operating systems, including that
> one, with different tool chain versions and I am getting consistent
> performance.  So the above is unclear to me at the moment.
> 
> For the heck of it, run this
> 
> xsltproc --nonet --stringparam pg.version '10devel'  stylesheet.xsl
> postgres.xml
> 
> to make sure it's not downloading something from the network.

$ time xsltproc --nonet --stringparam pg.version '10devel'  
stylesheet.xsl postgres.xml
real    5m43.776s

$ ( cd /home/aardvark/pg_stuff/pg_sandbox/pgsql.HEAD/doc/src/sgml; time 
make oldhtml )
real    1m14.152s

(I did clean out in between)