public inbox for [email protected]
help / color / mirror / Atom feedFrom: Dave Page <[email protected]>
To: Tom Lane <[email protected]>
Cc: [email protected]
Cc: Peter Eisentraut <[email protected]>
Subject: Re: documentation build log is busted, and has been for awhile
Date: Thu, 27 May 2010 08:56:57 +0100
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
On Thu, May 27, 2010 at 12:55 AM, Tom Lane <[email protected]> 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.
Iirc, that's built by one of Peter's scripts.
--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise Postgres Company
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], [email protected], [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