On Thu, Jan 18, 2024 at 9:49 PM Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
...
>
> Another thing I noticed is that we could change all (or most of) the
> <varname> tags to <xref linkend="guc-..."/>, but it's also a much larger
> change. Having (some of?) these variable names be links would be useful
> IMO.
>
+1 to do this.
IMO these should all be coded like <link
linkend="guc-XXX"><varname>XXX</varname></link>, because the resulting
rendering looks much better with the GUC name using a varname font
instead of just plain text that <xref> gives.
I am happy to take on the task if nobody else wants to.
======
Kind Regards,
Peter Smith.
Fujitsu Australia