On ons, 2010-11-03 at 16:25 +0200, Peter Eisentraut wrote:
> On ons, 2010-11-03 at 10:14 -0300, Alvaro Herrera wrote:
> > I wonder if it would be better to see about switching the toolchain.
> > We discussed jumping to XML;
>
> Well, run
>
> make xslthtml
>
> and see if the output is better.
Here is some data to entertain along the way:
make html 107.85s user 0.57s system 92% cpu 1:56.65 total
make xslthtml 13.98s user 1331.22s system 98% cpu 22:46.46 total