From f0f4ce588159d5ad80e11d7afeb1d1d68f29a7e4 Mon Sep 17 00:00:00 2001
From: Satoshi Asami <asami@FreeBSD.org>
Date: Wed, 1 Apr 1998 01:50:02 +0000
Subject: Don't die if a rmdir fails.
---
editors/jed/Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/editors/jed/Makefile b/editors/jed/Makefile
index f36f9a169751..1602ac61c935 100644
--- a/editors/jed/Makefile
+++ b/editors/jed/Makefile
@@ -3,7 +3,7 @@
# Date created: 22 APR 1997
# Whom: eric
#
-# $Id: Makefile,v 1.1.1.1 1997/06/04 06:32:22 asami Exp $
+# $Id: Makefile,v 1.2 1997/06/08 12:55:02 asami Exp $
#
DISTNAME= jed0.98-4
@@ -42,7 +42,7 @@ post-install:
.endif
${INSTALL_DATA} ${WRKSRC}/lib/* ${PREFIX}/lib/jed/lib
${INSTALL_DATA} ${WRKSRC}/info/jed.* ${PREFIX}/info
- rmdir ${PREFIX}/lib/jed/info
+ -${RMDIR} ${PREFIX}/lib/jed/info
.if !defined(NOPORTDOCS)
${MKDIR} ${PREFIX}/share/doc/jed
${INSTALL_DATA} ${WRKSRC}/doc/README ${WRKSRC}/doc/*.txt \
--
cgit debian/1.2.3+git2.25.1-1-2-gaceb0