Makefile: Add comment that doc uninstall clears man directories
authorBruce Momjian <bruce@momjian.us>
Thu, 7 May 2015 14:26:08 +0000 (10:26 -0400)
committerBruce Momjian <bruce@momjian.us>
Thu, 7 May 2015 14:26:08 +0000 (10:26 -0400)
commit82ec7c95b701d18530eb4eed923a305a0d82bdaf
tree3f0b7faf56403db68d44f67a76d5c85e789269de
parent1a241d22ae9f170ac32937dd053676564e58fbc3
Makefile:  Add comment that doc uninstall clears man directories

Report by Mario Valdez
doc/src/sgml/Makefile