On Sat, Oct 3, 2020 at 04:57:34PM +0200, Peter Eisentraut wrote: > On 2020-09-25 07:38, Peter Eisentraut wrote: > > So, based on that, I think the patch proposed here is not the right one, > > and we should instead be marking up the link sources appropriately. > > I have committed a fix for this: > > Improve <xref> vs. <command> formatting in the documentation
Thanks, this is a big step forward. -- Bruce Momjian <br...@momjian.us> https://momjian.us EnterpriseDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
