From: Bruce Momjian <bruce@momjian.us>
Message-Id: <201005282242.o4SMgKE08921@momjian.us>
Subject: Re: documentation build log is busted, and has been
 for awhile
In-Reply-To: <4BFEDB6E.4070107@kaltenbrunner.cc>
To: Stefan Kaltenbrunner <stefan@kaltenbrunner.cc>
Date: Fri, 28 May 2010 18:42:20 -0400 (EDT)
CC: Tom Lane <tgl@sss.pgh.pa.us>, pgsql-docs@postgresql.org,
	Peter Eisentraut <peter_e@gmx.net>
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="US-ASCII"

Stefan Kaltenbrunner wrote:
> 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...

Peter, I think I can fix the script if you would tell me how to update
it.  The code is based on a shell script I originally wrote.

-- 
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com