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