Re: [DOCS] PG documentation build is wedged

2011-11-23 Thread Magnus Hagander
On Thu, Nov 24, 2011 at 04:32, Alvaro Herrera wrote: > > Excerpts from Tom Lane's message of mié nov 23 23:55:22 -0300 2011: >> According to >> http://developer.postgresql.org/pgdocs/postgres/buildlog.html >> the git-tip documentation build hasn't happened since the 19th, >> and a quick look-aroun

Re: [DOCS] PG documentation build is wedged

2011-11-23 Thread Alvaro Herrera
Excerpts from Tom Lane's message of mié nov 23 23:55:22 -0300 2011: > According to > http://developer.postgresql.org/pgdocs/postgres/buildlog.html > the git-tip documentation build hasn't happened since the 19th, > and a quick look-around at > http://developer.postgresql.org/pgdocs/postgres/index.

[DOCS] PG documentation build is wedged

2011-11-23 Thread Tom Lane
According to http://developer.postgresql.org/pgdocs/postgres/buildlog.html the git-tip documentation build hasn't happened since the 19th, and a quick look-around at http://developer.postgresql.org/pgdocs/postgres/index.html confirms that recent docs changes don't seem to be showing there.