On 2020-03-20 01:11, Alvaro Herrera wrote:
I gave this a look. I first reformatted it so I could read it; that's
0001. Second I changed all the long <link> items into <xref>s, which
are shorter and don't have to repeat the title of the refered to page.
(Of course, this changes the link to be in the same style as every other
link in our documentation; some people don't like it. But it's our
style.)
AFAICT, all the <link> elements in this patch should be changed to <xref>.
If there is something undesirable about the output style, we can change
that, but it's not this patch's job to make up its own rules.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
