BUG #13894: MANPATH in documentation - wrong path

The following bug has been logged on the website:

Bug reference: 13894
Logged by: Slawomir Sudnik
Email address: ssudnik(at)gmail(dot)com
PostgreSQL version: 9.5.0
Operating system: Centos 7 64bit
Description:

Hi,

I found a bug in the documentation, in chapter 15.5.2.
In the documentation
(http://www.postgresql.org/docs/9.5/static/install-post.html) is

"To enable your system to find the man documentation, you need to add lines
like the following to a shell start-up file unless you installed into a
location that is searched by default:

MANPATH=/usr/local/pgsql/man:$MANPATH
export MANPATH"

I installed documentation to PostgreSQL. I used the command 'make
install-docs'.
The whole documentation is in subdirectories: ./share/doc and ./share/man

The path /usr/local/pgsql/man is wrong.
Correct path is /usr/local/pgsql/share/man ,so
MANPATH=/usr/local/pgsql/share/man:$MANPATH

Regards,
Slawomir Sudnik