Thread: Documentation is building again

Documentation is building again

From
Peter Eisentraut
Date:
The documentation build on developer.postgresql.org is working again.

-- 
Peter Eisentraut   peter_e@gmx.net



Re: Documentation is building again

From
Tom Lane
Date:
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


Re: Documentation is building again

From
Peter Eisentraut
Date:
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