Skip site navigation (1) Skip section navigation (2)

Re: documentation build log is busted, and has been for awhile

From: Stefan Kaltenbrunner <stefan(at)kaltenbrunner(dot)cc>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Cc: pgsql-docs(at)postgreSQL(dot)org
Subject: Re: documentation build log is busted, and has been for awhile
Date: 2010-05-27 20:51:58
Message-ID: 4BFEDB6E.4070107@kaltenbrunner.cc (view raw or flat)
Thread:
Lists: pgsql-docs
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

In response to

Responses

pgsql-docs by date

Next:From: Stefan KaltenbrunnerDate: 2010-05-27 21:07:53
Subject: Re: Londiste
Previous:From: Dave PageDate: 2010-05-27 07:56:57
Subject: Re: documentation build log is busted, and has been for awhile

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group