diff options
author | Peter Eisentraut <peter@eisentraut.org> | 2021-07-05 08:26:00 +0200 |
---|---|---|
committer | Peter Eisentraut <peter@eisentraut.org> | 2021-07-05 08:26:30 +0200 |
commit | 1479c5afdce2c57928dc1322bd71106858a0770f (patch) | |
tree | 3d88efdda27b41b8b4869d98df169ff9f692a6e1 | |
parent | f3690fbdeac43ab8547c212062ec515a55dd118c (diff) | |
download | postgresql-1479c5afdce2c57928dc1322bd71106858a0770f.tar.gz postgresql-1479c5afdce2c57928dc1322bd71106858a0770f.zip |
doc: Fix quoting markup
-rw-r--r-- | doc/src/sgml/appendix-obsolete-default-roles.sgml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/sgml/appendix-obsolete-default-roles.sgml b/doc/src/sgml/appendix-obsolete-default-roles.sgml index ef252435bb6..bf828b39ab4 100644 --- a/doc/src/sgml/appendix-obsolete-default-roles.sgml +++ b/doc/src/sgml/appendix-obsolete-default-roles.sgml @@ -11,9 +11,9 @@ </indexterm> <para> - PostgreSQL 13 and below used the term 'Default Roles', however, as these + PostgreSQL 13 and below used the term <quote>Default Roles</quote>. However, as these roles are not able to actually be changed and are installed as part of the - system at initialization time, the more appropriate term to use is "Predefined Roles". + system at initialization time, the more appropriate term to use is <quote>Predefined Roles</quote>. See <xref linkend="predefined-roles"/> for current documentation regarding Predefined Roles, and <link linkend="release-prior">the release notes for PostgreSQL 14</link> for details on this change. |