On Thu, Jan 18, 2024 at 9:49 PM Alvaro Herrera <alvhe...@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
