Makefile: Add comment that doc uninstall clears man directories

Report by Mario Valdez

diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index 8bdd26ce28edb8f44da689679db07e65e6a43541..f04e57246df367dd5440ea1177f93f98bb44fee6 100644 (file)
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -331,6 +331,7 @@ endif
 installdirs:
    $(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
 
+# If the install used a man directory shared with other applications, this will remove all files.
 uninstall:
    rm -f '$(DESTDIR)$(htmldir)/html/'* $(addprefix  '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*)