doc: Fix documentation of local_preload_libraries

The documentation used to suggest setting this parameter with ALTER ROLE
SET, but that never worked, so replace it with a working suggestion.

Reported-by: Kyotaro Horiguchi <horiguchi.kyotaro@lab.ntt.co.jp>

diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml
index 2843d144571d1b080f4c91e26b57457de55a5c29..94465330af1b4505457a257c42b37f883bfbe636 100644 (file)
--- a/doc/src/sgml/config.sgml
+++ b/doc/src/sgml/config.sgml
@@ -4981,8 +4981,8 @@ dynamic_library_path = 'C:\tools\postgresql;H:\my_project\lib;$libdir'
         this feature is to allow debugging or performance-measurement
         libraries to be loaded into specific sessions without an explicit
         <command>LOAD</> command being given.  For example, debugging could
-        be enabled for all sessions under a given user name by setting
-        this parameter with <command>ALTER USER SET</>.
+        be enabled for a session by setting this parameter via the
+        <envar>PGOPTIONS</envar> environment variable.
        </para>
 
        <para>