summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut2009-06-18 15:10:35 +0000
committerPeter Eisentraut2009-06-18 15:10:35 +0000
commit66765759efc561c5124e44a320d0b08251ad8b94 (patch)
tree745eb677b2b33a8466b00d087a56d68da9c26728
parent39cdfb7a802d06ff8d879f2adae5486c5fa0e2ae (diff)
Don't attempt to "rm" directories on uninstall.
-rw-r--r--doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile
index 5a23c0b5e5..c2ae762dc1 100644
--- 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