[DOCS] Questionable tag usage

2017-01-04 Thread Tatsuo Ishii
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

[DOCS] Questionable tag usage

2017-01-04 Thread Tatsuo Ishii
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

Re: [DOCS] [HACKERS] Questionable tag usage

2017-01-04 Thread Tom Lane
Tatsuo Ishii writes: > In: > https://www.postgresql.org/docs/devel/static/runtime-config-file-locations.html > "Specifies the configuration file for Section 20.2, $B!H(BUser Name > Maps$B!I(B > user name mapping" looks pretty strange to me because a raw section > name appears. Yeah, it's def