Message-ID: <4BFEDB6E.4070107@kaltenbrunner.cc>
Date: Thu, 27 May 2010 22:51:58 +0200
From: Stefan Kaltenbrunner <stefan@kaltenbrunner.cc>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US;
	rv:1.9.1.9) Gecko/20100411 Iceowl/1.0b1 Icedove/3.0.4
MIME-Version: 1.0
To: Tom Lane <tgl@sss.pgh.pa.us>
CC: pgsql-docs@postgreSQL.org
Subject: Re: documentation build log is busted, and has been for awhile
References: <4753.1274918153@sss.pgh.pa.us>
In-Reply-To: <4753.1274918153@sss.pgh.pa.us>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

On 05/27/2010 01:55 AM, 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'
> 	
> 	No changes in this build
> 	
> 	Build completed successfully.
> 	
> 	View or download the documentation.
>
> even though somebody committed broken markup half an hour ago.

hmm - maybe we should monitor as part of the main monitoring 
infrastructure just like we monitor the snapshot builds...
However if the docs failed to build for a while I wonder why the 
snapshots are still getting done...


Stefan