Re: Question: Do we have a rule to use "PostgreSQL" and "<productname>PostgreSQL</productname>" separately?

> On 20 Mar 2023, at 15:31, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> "Hayato Kuroda (Fujitsu)" <kuroda(dot)hayato(at)fujitsu(dot)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