public inbox for [email protected]  

help / color / mirror / Atom feed

From: Tom Lane <[email protected]>
To: [email protected]
Subject: documentation build log is busted, and has been for awhile
Date: Wed, 26 May 2010 19:55:53 -0400
Message-ID: <[email protected]> (raw)

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.

			regards, tom lane

view thread (7+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected]
  Subject: Re: documentation build log is busted, and has been for awhile
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox