Re: documentation build log is busted, and has been for awhile
| От | Dave Page |
|---|---|
| Тема | Re: documentation build log is busted, and has been for awhile |
| Дата | |
| Msg-id | AANLkTilKJw1TjCQipMJg-wq4rtQYTsWUpUs4-j9ehy23@mail.gmail.com обсуждение исходный текст |
| Ответ на | documentation build log is busted, and has been for awhile (Tom Lane <tgl@sss.pgh.pa.us>) |
| Список | pgsql-docs |
On Thu, May 27, 2010 at 12:55 AM, Tom Lane <tgl@sss.pgh.pa.us> 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
В списке pgsql-docs по дате отправления: