Subject: Re: documentation build log is busted, and has been for
 awhile
From: Peter Eisentraut <peter_e@gmx.net>
To: Tom Lane <tgl@sss.pgh.pa.us>
Cc: pgsql-docs@postgreSQL.org
In-Reply-To: <4753.1274918153@sss.pgh.pa.us>
References: <4753.1274918153@sss.pgh.pa.us>
Content-Type: text/plain; charset="UTF-8"
Date: Mon, 28 Jun 2010 13:03:47 -0400
Message-ID: <1277744627.27966.3.camel@vanquo.pezone.net>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit

On ons, 2010-05-26 at 19:55 -0400, Tom Lane 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'

I think both of these issues (certainly the latter) are fixed now.

Btw., the code and working space for this job are at ~petere/PGDOC/ on
developer.postgresql.org.  Anyone with a shell account can peek around
there.