Re: Release note trimming: another modest proposal

Andres Freund <andres@anarazel.de> writes:
> On 2019-02-05 12:24:00 -0500, Tom Lane wrote:
>> Huh?  The release note contents are identical cross-branch.
>> I know, because I'm generally the one making them.

> The point is that links in release-$version.html in /current/ or in a
> magical new repo will likely contain references to other pages in the
> docs.

Yeah, I was just wondering what a separate aggregated-notes document could
do with links to pages outside the release notes proper.  The low-tech
answer would be to remove the links, but it'd be nicer (at least in the
HTML version) to make them point over to the main docs.  As you say,
it'd be good if they pointed to the corresponding version of the main
docs, and that's actually something that's broken in our historical
process.  REL_11_STABLE's copy of release-10.sgml, say, was not linking
to the right places.

I don't know enough SGML/XML to know if there's some automatic way
of rendering <xref linkend="app-pg-dumpall"/> as an external URL.
I sure wouldn't care to convert such stuff by hand.

			regards, tom lane