Excerpts from Tom Lane's message of mié nov 23 23:55:22 -0300 2011:
> According to
> the git-tip documentation build hasn't happened since the 19th,
> and a quick look-around at
> confirms that recent docs changes don't seem to be showing there.
I think the devel docs are now supposed to be built by bf member
guaibasaurus, but the necessary hooks on the buildfarm client to copy
them to the webserver aren't there yet.
Álvaro Herrera <alvherre(at)commandprompt(dot)com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support
In response to
pgsql-docs by date
|Next:||From: Magnus Hagander||Date: 2011-11-24 07:43:56|
|Subject: Re: PG documentation build is wedged|
|Previous:||From: Tom Lane||Date: 2011-11-24 02:55:22|
|Subject: PG documentation build is wedged|