Re: 'make draft' and HTML.index

Alvaro Herrera <alvherre@commandprompt.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