> 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 -- Sent via pgsql-docs mailing list (pgsql-docs@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-docs
