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)