Message-ID: <4ECE8272.3080006@dunslane.net>
Date: Thu, 24 Nov 2011 12:44:18 -0500
From: Andrew Dunstan <andrew@dunslane.net>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US;
	rv:1.9.2.17) Gecko/20110428 Fedora/3.1.10-1.fc14
	Lightning/1.0b3pre Thunderbird/3.1.10
MIME-Version: 1.0
To: Magnus Hagander <magnus@hagander.net>
CC: Alvaro Herrera <alvherre@commandprompt.com>, Tom Lane <tgl@sss.pgh.pa.us>,
	Peter Eisentraut <peter_e@gmx.net>, pgsql-docs <pgsql-docs@postgresql.org>
Subject: Re: PG documentation build is wedged
References: <10331.1322103322@sss.pgh.pa.us>
	<1322104954-sup-6925@alvh.no-ip.org>
	<CABUevExGe-CTnQGzHB3VnpARRZ8vpQHF7q1UxRtEcd9HNvZNzA@mail.gmail.com>
In-Reply-To: 
 <CABUevExGe-CTnQGzHB3VnpARRZ8vpQHF7q1UxRtEcd9HNvZNzA@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit


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
> developer docs up and running early next week. (Actually, didn't
> realize they were broken - it's just that their new location is
> planned to go live next week, which will implicitly fix this problem)


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 on every build, since 
"make dist" in the new module will build them if they're not built 
anyway, but in such a way that they're not so readily usable, whereas 
this way you can copy them out easily.

cheers

andrew