public inbox for [email protected]
help / color / mirror / Atom feeddocumentation build log is busted, and has been for awhile
7+ messages / 5 participants
[nested] [flat]
* documentation build log is busted, and has been for awhile
@ 2010-05-26 23:55 Tom Lane <[email protected]>
2010-05-27 00:00 ` Re: documentation build log is busted, and has been for awhile Bruce Momjian <[email protected]>
2010-05-27 07:56 ` Re: documentation build log is busted, and has been for awhile Dave Page <[email protected]>
2010-05-27 20:51 ` Re: documentation build log is busted, and has been for awhile Stefan Kaltenbrunner <[email protected]>
2010-06-28 17:03 ` Re: documentation build log is busted, and has been for awhile Peter Eisentraut <[email protected]>
0 siblings, 4 replies; 7+ messages in thread
From: Tom Lane @ 2010-05-26 23:55 UTC (permalink / raw)
To: pgsql-docs
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
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: documentation build log is busted, and has been for awhile
2010-05-26 23:55 documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
@ 2010-05-27 00:00 ` Bruce Momjian <[email protected]>
3 siblings, 0 replies; 7+ messages in thread
From: Bruce Momjian @ 2010-05-27 00:00 UTC (permalink / raw)
To: Tom Lane <[email protected]>; +Cc: pgsql-docs
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 <[email protected]> http://momjian.us
EnterpriseDB http://enterprisedb.com
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: documentation build log is busted, and has been for awhile
2010-05-26 23:55 documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
@ 2010-05-27 07:56 ` Dave Page <[email protected]>
3 siblings, 0 replies; 7+ messages in thread
From: Dave Page @ 2010-05-27 07:56 UTC (permalink / raw)
To: Tom Lane <[email protected]>; +Cc: pgsql-docs; Peter Eisentraut <[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
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: documentation build log is busted, and has been for awhile
2010-05-26 23:55 documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
@ 2010-05-27 20:51 ` Stefan Kaltenbrunner <[email protected]>
2010-05-27 21:50 ` Re: documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
2010-05-28 22:42 ` Re: documentation build log is busted, and has been for awhile Bruce Momjian <[email protected]>
3 siblings, 2 replies; 7+ messages in thread
From: Stefan Kaltenbrunner @ 2010-05-27 20:51 UTC (permalink / raw)
To: Tom Lane <[email protected]>; +Cc: 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
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: documentation build log is busted, and has been for awhile
2010-05-26 23:55 documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
2010-05-27 20:51 ` Re: documentation build log is busted, and has been for awhile Stefan Kaltenbrunner <[email protected]>
@ 2010-05-27 21:50 ` Tom Lane <[email protected]>
1 sibling, 0 replies; 7+ messages in thread
From: Tom Lane @ 2010-05-27 21:50 UTC (permalink / raw)
To: Stefan Kaltenbrunner <[email protected]>; +Cc: pgsql-docs
Stefan Kaltenbrunner <[email protected]> writes:
> 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.
> 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...
I think the job is running when it's supposed to, it's just failing to
update the output page when it fails. The page updates PDQ when the
docs build is OK.
regards, tom lane
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: documentation build log is busted, and has been for awhile
2010-05-26 23:55 documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
2010-05-27 20:51 ` Re: documentation build log is busted, and has been for awhile Stefan Kaltenbrunner <[email protected]>
@ 2010-05-28 22:42 ` Bruce Momjian <[email protected]>
1 sibling, 0 replies; 7+ messages in thread
From: Bruce Momjian @ 2010-05-28 22:42 UTC (permalink / raw)
To: Stefan Kaltenbrunner <[email protected]>; +Cc: Tom Lane <[email protected]>; pgsql-docs; Peter Eisentraut <[email protected]>
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 <[email protected]> http://momjian.us
EnterpriseDB http://enterprisedb.com
^ permalink raw reply [nested|flat] 7+ messages in thread
* Re: documentation build log is busted, and has been for awhile
2010-05-26 23:55 documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
@ 2010-06-28 17:03 ` Peter Eisentraut <[email protected]>
3 siblings, 0 replies; 7+ messages in thread
From: Peter Eisentraut @ 2010-06-28 17:03 UTC (permalink / raw)
To: Tom Lane <[email protected]>; +Cc: pgsql-docs
On ons, 2010-05-26 at 19:55 -0400, 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'
I think both of these issues (certainly the latter) are fixed now.
Btw., the code and working space for this job are at ~petere/PGDOC/ on
developer.postgresql.org. Anyone with a shell account can peek around
there.
^ permalink raw reply [nested|flat] 7+ messages in thread
end of thread, other threads:[~2010-06-28 17:03 UTC | newest]
Thread overview: 7+ messages (download: mbox mbox.gz follow: Atom feed)
-- links below jump to the message on this page --
2010-05-26 23:55 documentation build log is busted, and has been for awhile Tom Lane <[email protected]>
2010-05-27 00:00 ` Bruce Momjian <[email protected]>
2010-05-27 07:56 ` Dave Page <[email protected]>
2010-05-27 20:51 ` Stefan Kaltenbrunner <[email protected]>
2010-05-27 21:50 ` Tom Lane <[email protected]>
2010-05-28 22:42 ` Bruce Momjian <[email protected]>
2010-06-28 17:03 ` Peter Eisentraut <[email protected]>
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox