Re: Suspected documentation error

On Thu, May 14, 2026 at 11:30:15AM -0400, Bruce Momjian wrote:
> 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.

Patch applied and backpatched to PG 19.

--
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.