BUG #13220: make uninstall removes man pages not belonging to PostgreSQL

The following bug has been logged on the website:

Bug reference:      13220
Logged by:          Mario Valdez
Email address:      mario@mariovaldez.org
PostgreSQL version: 9.4.1
Operating system:   Linux
Description:

Executing the command "make uninstall" will remove all man pages in the
DESTDIR/man1 and DESTDIR/man3 directories, even if there are files there
from other programs. For example, if your DESTDIR is set to "/usr", man
pages will be copied to /usr/man1 and /usr/man3, and if you run "make
uninstall" all the man1 and man3 pages will be gone.

The greediness of the unistall command only affects the man pages Makefile
(doc/src/sgml/Makefile), all other Makefiles seems to delete only what was
installe, no more, no less.


Regards,

Mario Valdez