mirror of
https://github.com/postgres/postgres.git
synced 2026-06-24 01:21:40 -04:00
6fdc6262ca
The docs were advising to use /usr/local/pgsql/man instead, but that's wrong. Reported-By: Slawomir Sudnik Backpatch-To: 9.1 Bug: #13894