Re: Suspected documentation error

On Wed, May 6, 2026 at 10:13:03AM -0400, Tom Lane wrote:
> "David G. Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> writes:
> > On Wed, May 6, 2026 at 6:52 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> >> I'm inclined to try to fix it via formatting: change HH and MM to
> >> lower case and wrap them in <replaceable> so they render in italics.
>
> > And isn't replaceable usually something the user is expected to provide a
> > value for - not something the system populates?
>
> No, I think it just means "this word is not literally what you'd see
> or type".

I came up with the attached patch. I think 'mm' is just too much like
months so I sent with 'mi', and the "replaceable" tag was already there.

--
Bruce Momjian <bruce(at)momjian(dot)us> https://momjian.us
EDB https://enterprisedb.com

Do not let urgent matters crowd out time for investment in the future.