From: Bruce Momjian <bruce@momjian.us>
Message-Id: <201005270000.o4R00kv18211@momjian.us>
Subject: Re: documentation build log is busted, and has been
 for awhile
In-Reply-To: <4753.1274918153@sss.pgh.pa.us>
To: Tom Lane <tgl@sss.pgh.pa.us>
Date: Wed, 26 May 2010 20:00:46 -0400 (EDT)
CC: pgsql-docs@postgresql.org
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="US-ASCII"

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.

I have fixed that commit.

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