Re: vs formatting in the docs

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  <bruce@momjian.us>        https://momjian.us
  EnterpriseDB                             https://enterprisedb.com

  The usefulness of a cup is in its emptiness, Bruce Lee