Re: documentation is now XML

On Thu, Nov 23, 2017 at 6:01 PM, Peter Eisentraut
<peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
> The documentation sources are now DocBook XML, not SGML. (The files are
> still named *.sgml. That's something to think about separately.)

Congratulations to you and Alexander ! That is what I waited for a long time.
Now we could think about diagrams :)

>
> Besides the recent change to require full end tags, which is compatible
> between SGML and XML, being XML now requires empty-element tags to use
> the XML syntax like <xref linkend="foo"/>. When backpatching
> documentation changes, the extra slash needs to be removed, however.
> (The documentation build in backbranches will error if that is not done.)
>
> For the required tools, there are no new requirements, but you can drop
> docbook-sgml and opensp. The instructions at
> <https://www.postgresql.org/docs/devel/static/docguide-toolsets.html>
> will be up-to-date once built.
>
> --
> Peter Eisentraut http://www.2ndQuadrant.com/
> PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
>