Alvaro Herrera <[EMAIL PROTECTED]> writes:
> Currently, we generate HTML.index by running openjade in normal mode,
> and then rerunning if we detect that the HTML.index file changed. This
> is a waste -- with patched docbook.dsl, it takes 8 seconds to generate
> the index file on my system, wherea
I just noticed that I can very quickly generate an up-to-date HTML.index
by commenting out normal HTML generation, i.e. patching html/docbook.dsl
thusly:
*** docbook.dsl.orig2008-01-09 02:35:53.0 -0300
--- docbook.dsl 2008-01-09 02:35:12.0 -0300
***
*** 102,110
