Re: Developer docs aren't building

Tom Lane wrote:
> The developer docs are a few days out of date, and
> http://developer.postgresql.org/pgdocs/postgres/buildlog.html
> shows that a build hasn't been attempted since the 7th.

It's back.