doc: Fix documentation of local_preload_libraries
authorPeter Eisentraut <peter_e@gmx.net>
Sun, 14 Sep 2014 14:50:04 +0000 (10:50 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Sun, 14 Sep 2014 14:56:10 +0000 (10:56 -0400)
commit7c8b0adba5101215ac92392925f81ce0f677bd12
tree29cb3f2b89b2bcc45a8d7c123e31e11bfd68057e
parent4d96e93cb4dbd18732001a98b8d1c6a8b1be0503
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>
doc/src/sgml/config.sgml