On Tue, May 21, 2013 at 11:38 PM, Peter Eisentraut <peter_e@gmx.net> wrote:
> For 9.4, I would like to tackle moving our documentation to a DocBook
> XML source format and tool chain.
Awesome. I have been a mite unhappy with the existing SGML toolchain.
I hope we'll have a better chance of properly addressing some of the
bizarre and platform-dependent problems we have seen if we move over
to XML.
Josh