On 02/15/19 11:31, Peter Eisentraut wrote: >> On 25/01/2019 15:37, Chapman Flack wrote: >>> If they are already processed that way, does that mean the >>> >>> o Do not use text with <ulink> so the URL appears in printed output >>> >>> in README.links should be considered obsolete, and removed even, and >>> doc authors should feel free to put link text in <ulink> without >>> hesitation? > > Committed that change.
I only now noticed that probably this should also have been changed: -o If you want to supply text, use <link>, else <xref> +o If you want to supply text, use <link> or <ulink>, else <xref> Regards, -Chap
