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:00 +0200 |
| commit | 903d9aa7801e3198ca24e90be805362ad11b6ec3 (patch) | |
| tree | 7336828ff3c94c2f18fafe3a2ae39534bd82a8f8 | |
| parent | e360aa0530b6d1f9e43f2aca760203de0421ef5e (diff) | |
| download | postgresql-903d9aa7801e3198ca24e90be805362ad11b6ec3.tar.gz postgresql-903d9aa7801e3198ca24e90be805362ad11b6ec3.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. |