diff options
author | Peter Eisentraut | 2023-07-09 08:02:15 +0000 |
---|---|---|
committer | Peter Eisentraut | 2023-07-09 08:02:15 +0000 |
commit | 3c963d33eae8dcbac0bc2e1dc0b7c1ac931dd83f (patch) | |
tree | 8ff0ba9db7e4a00c10db5b4b2ae1cbfe55db36a1 | |
parent | be2ab58f6227ef8ea341c3d9b9f99d53d56529a9 (diff) |
doc: Use proper markup for emphasis
-rw-r--r-- | doc/src/sgml/config.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index 57c4dcee931..c50c28546de 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -1182,7 +1182,7 @@ include_dir 'conf.d' <para> Sets whether GSSAPI delegation should be accepted from the client. The default is <literal>off</literal> meaning credentials from the client will - NOT be accepted. Changing this to <literal>on</literal> will make the server + <emphasis>not</emphasis> be accepted. Changing this to <literal>on</literal> will make the server accept credentials delegated to it from the client. This parameter can only be set in the <filename>postgresql.conf</filename> file or on the server command line. </para> |