On 1/4/17 19:25, Tatsuo Ishii wrote:
> In:
> https://www.postgresql.org/docs/devel/static/runtime-config-file-locations.html
>
> ---------------------------------------------------
> ident_file (string)
>
> Specifies the configuration file for Section 20.2, “User Name Maps” user name mapping (customarily called
pg_ident.conf).This parameter can only be set at server start.
> ---------------------------------------------------
>
> "Specifies the configuration file for Section 20.2, “User Name Maps”
> user name mapping" looks pretty strange to me because a raw section
> name appears. This is due to the corresponding SGML coding:
I have committed a fix for this.
I have not found any more similar cases.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services