From 66765759efc561c5124e44a320d0b08251ad8b94 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Thu, 18 Jun 2009 15:10:35 +0000 Subject: [PATCH] Don't attempt to "rm" directories on uninstall. --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5