Alvaro Herrera <alvherre(at)commandprompt(dot)com> 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, whereas the regular openjade run takes
> 1:30. So on a clean start it takes 3 minutes to generate the docs.
There's another problem with the current technology for that, which is
that it not infrequently takes *three* iterations to converge, meaning
it's faster to "make clean all" than to try to use the existing state.
I have not looked into why, but certainly this isn't very satisfactory.
regards, tom lane
In response to
pgsql-docs by date
|Next:||From: Erik||Date: 2008-01-11 21:34:02|
|Subject: Full Text Search examples patch|
|Previous:||From: Alvaro Herrera||Date: 2008-01-09 05:41:55|
|Subject: 'make draft' and HTML.index|