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