Re: Question: Do we have a rule to use "PostgreSQL" and "PostgreSQL" separately?

> On 20 Mar 2023, at 15:31, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> "Hayato Kuroda (Fujitsu)" <kuroda.hayato@fujitsu.com> writes:
>> While checking documentations, I found that one line notes our product as
>> "<productname>PostgreSQL</productname>", whereas another line notes as just
>> "PostgreSQL".
>
> IMO the convention is to use the <productname> tag everywhere that we
> spell out "PostgreSQL".  I don't think it's actually rendered differently
> with our current stylesheets, but maybe someday it will be.

IIRC the main use in DocBook is for automatically decorating productnames with
trademark signs etc, and to generate lists of trademarks, but also that they
can be rendered differently.

This reminded me that I was planning to apply the below to make the markup of
PostgreSQL consistent:

diff --git a/doc/src/sgml/datatype.sgml b/doc/src/sgml/datatype.sgml
index 4df8bd1b64..9ff6b08f5a 100644
--- a/doc/src/sgml/datatype.sgml
+++ b/doc/src/sgml/datatype.sgml
@@ -2667,7 +2667,7 @@ TIMESTAMP WITH TIME ZONE '2004-10-19 10:23:54+02'
      To complicate matters, some jurisdictions have used the same timezone
      abbreviation to mean different UTC offsets at different times; for
      example, in Moscow <literal>MSK</literal> has meant UTC+3 in some years and
-     UTC+4 in others.  <application>PostgreSQL</application> interprets such
+     UTC+4 in others.  <productname>PostgreSQL</productname> interprets such
      abbreviations according to whatever they meant (or had most recently
      meant) on the specified date; but, as with the <literal>EST</literal> example
      above, this is not necessarily the same as local civil time on that date.

--
Daniel Gustafsson