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

Peter Eisentraut wrote:

> > This xslt build  takes  8+ minutes, compared to barely 1 minute for 
> > 'oldhtml'.
> 
> I have committed another patch to improve the build performance a bit.
> Could you check again?

After the optimization, on my laptop it takes 2:31 with the new system
and 1:58 with the old one.  If it can be made faster, all the better,
but at this level I'm okay.

Now admittedly this conversion didn't do one bit towards the goal I
wanted to achieve: that each doc source file ended up as a valid XML
file that could be processed separately with tools like xml2po.  They
are still SGML only -- in particular no doctype declaration and
incomplete closing tags.

-- 
Álvaro Herrera                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services