Don't attempt to "rm" directories on uninstall.

diff --git a/doc/Makefile b/doc/Makefile
index 5a23c0b5e50d55ffb6d540dbe56e4535a0251e05..c2ae762dc1c5a03d1a08a2ed80c7222c43121726 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -97,7 +97,7 @@ ifdef found_html
        rm -f $(addprefix $(DESTDIR)$(htmldir)/html/, $(shell gunzip -c $(srcdir)/postgres.tar.gz | tar tf -))
 endif
 ifdef found_man
-       rm -f $(addprefix $(DESTDIR)$(mandir)/, $(shell gunzip -c $(srcdir)/man.tar.gz | tar tf - | sed -e 's,man7/,man$(sqlmansectnum)/,' -e 's/.7$$/.$(sqlmansect)/'))
+       rm -f $(filter-out %/, $(addprefix $(DESTDIR)$(mandir)/, $(shell gunzip -c $(srcdir)/man.tar.gz | tar tf - | sed -e 's,man7/,man$(sqlmansectnum)/,' -e 's/.7$$/.$(sqlmansect)/')))
 endif