Documentation is building again

Peter Eisentraut <peter_e@gmx.net> writes:

The documentation build on developer.postgresql.org is working again.

Good.

Where is the build log for that build kept now? My bookmark is
http://developer.postgresql.org/docs/postgres/buildlog.html
but that doesn't seem to work.

regards, tom lane

Tom Lane writes:

Where is the build log for that build kept now? My bookmark is
http://developer.postgresql.org/docs/postgres/buildlog.html
but that doesn't seem to work.

Well, I did the first build manually so the build log wasn't saved, and
the next build will only happen when something changes (checks every 15
minutes), so that's when the build log should appear.

--
Peter Eisentraut peter_e@gmx.net