From: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
---|---|
To: | Alvaro Herrera <alvherre(at)commandprompt(dot)com> |
Cc: | pgsql-docs(at)postgresql(dot)org |
Subject: | Re: 'make draft' and HTML.index |
Date: | 2008-01-09 05:55:23 |
Message-ID: | 28136.1199858123@sss.pgh.pa.us |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-docs |
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
From | Date | Subject | |
---|---|---|---|
Next Message | Erik | 2008-01-11 21:34:02 | Full Text Search examples patch |
Previous Message | Alvaro Herrera | 2008-01-09 05:41:55 | 'make draft' and HTML.index |