> 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.
Thank you for fixing it.
Best regards,
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese:http://www.sraoss.co.jp