Re: [DOCS] PG documentation build is wedged

2011-11-24 Thread Alvaro Herrera
Excerpts from Stefan Kaltenbrunner's message of jue nov 24 17:45:07 -0300 2011: > > On 11/24/2011 09:16 PM, Alvaro Herrera wrote: > > # ldap support is new as of 8.2 > > if ($branch eq 'HEAD' || $branch ge 'REL8_2') > > this basically means "do only if $branch is exactly HEAD or if $branch > is

Re: [DOCS] PG documentation build is wedged

2011-11-24 Thread Stefan Kaltenbrunner
On 11/24/2011 09:16 PM, Alvaro Herrera wrote: > > Excerpts from Andrew Dunstan's message of jue nov 24 14:44:18 -0300 2011: > >> You need to change the config of this animal to something like: >> >> optional_steps => { build_docs => { branches => [ 'HEAD' ], >> min_hours_since => 0 } }, >>

Re: [DOCS] PG documentation build is wedged

2011-11-24 Thread Alvaro Herrera
Excerpts from Andrew Dunstan's message of jue nov 24 14:44:18 -0300 2011: > You need to change the config of this animal to something like: > > optional_steps => { build_docs => { branches => [ 'HEAD' ], > min_hours_since => 0 } }, > > > There's no point in not building the docs for HEAD

Re: [DOCS] PG documentation build is wedged

2011-11-24 Thread Andrew Dunstan
On 11/24/2011 02:43 AM, Magnus Hagander wrote: 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. It's almost there. Based on current plans, we hope to have the develop

Re: [DOCS] PG documentation build is wedged

2011-11-23 Thread Magnus Hagander
On Thu, Nov 24, 2011 at 04:32, Alvaro Herrera wrote: > > Excerpts from Tom Lane's message of mié nov 23 23:55:22 -0300 2011: >> According to >> http://developer.postgresql.org/pgdocs/postgres/buildlog.html >> the git-tip documentation build hasn't happened since the 19th, >> and a quick look-aroun

Re: [DOCS] PG documentation build is wedged

2011-11-23 Thread Alvaro Herrera
Excerpts from Tom Lane's message of mié nov 23 23:55:22 -0300 2011: > According to > http://developer.postgresql.org/pgdocs/postgres/buildlog.html > the git-tip documentation build hasn't happened since the 19th, > and a quick look-around at > http://developer.postgresql.org/pgdocs/postgres/index.

[DOCS] PG documentation build is wedged

2011-11-23 Thread Tom Lane
According to http://developer.postgresql.org/pgdocs/postgres/buildlog.html the git-tip documentation build hasn't happened since the 19th, and a quick look-around at http://developer.postgresql.org/pgdocs/postgres/index.html confirms that recent docs changes don't seem to be showing there.