Magnus Hagander 7829e81238 Refer to pg_ident.conf as config file for username mapping, as it's ...

now used for other things than just ident authentication.

Noted by Stephen Frost

2010-05-18 19:05:24 +00:00

..

sgml

Refer to pg_ident.conf as config file for username mapping, as it's

2010-05-18 19:05:24 +00:00

Makefile

Since doc/src/sgml already builds the HTML docs twice to resolve index

2008-11-14 10:43:59 +00:00