Skip site navigation (1) Skip section navigation (2)

Re: 'make draft' and HTML.index

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 (view raw or flat)
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

In response to

pgsql-docs by date

Next:From: ErikDate: 2008-01-11 21:34:02
Subject: Full Text Search examples patch
Previous:From: Alvaro HerreraDate: 2008-01-09 05:41:55
Subject: 'make draft' and HTML.index

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group