Re: documentation build log is busted, and has been for awhile

On Thu, May 27, 2010 at 12:55 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> Is anybody maintaining
> http://developer.postgresql.org/pgdocs/postgres/buildlog.html
> ?
>
> For some time now, that page has failed to update if the underlying
> build fails, which makes it approximately completely useless.  A more
> cosmetic but still annoying problem is that the build completion time
> isn't shown correctly.  For example, the current contents of the page
> are
>
>        PostgreSQL Documentation Build Log
>
>        Build started: 2010-05-26 22:39 UTC
>        Build finished: + echo -n '' + date -u '+%Y-%m-%d %H:%M %Z'
>
>        No changes in this build
>
>        Build completed successfully.
>
>        View or download the documentation.
>
> even though somebody committed broken markup half an hour ago.

Iirc, that's built by one of Peter's scripts.

--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise Postgres Company