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
--
Sent via pgsql-docs mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-docs
