doc: fix another case of missing productname markup

Daniel Gustafsson <dgustafsson@postgresql.org>

Commit: eb2618a03c53695532eaad680522c60dca0d4061
Author: Daniel Gustafsson <dgustafsson@postgresql.org>
Date: 2023-03-23T20:35:26Z
Releases: 16.0
doc: fix another case of missing productname markup

As a follow-up commit to 0f85db92b9, this adds <productname> markup
to another case of "PostgreSQL".

Author: Hayato Kuroda <kuroda.hayato@fujitsu.com>
Discussion: https://postgr.es/m/TYAPR01MB58667A7C8317E267467CC599F5869@TYAPR01MB5866.jpnprd01.prod.outlook.com

Files

PathChange+/−
doc/src/sgml/func.sgml modified +1 −1

Documentation touched

Discussion