diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 1998-04-01 01:50:02 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 1998-04-01 01:50:02 +0000 |
| commit | f0f4ce588159d5ad80e11d7afeb1d1d68f29a7e4 (patch) | |
| tree | 4d05ff6699655b6b22aeec116e782b4bb3885e3f /editors/jed | |
| parent | 55ac03290a651d85dcda8bd8a4f3a7961ec2b0fc (diff) | |
| download | ports-f0f4ce588159d5ad80e11d7afeb1d1d68f29a7e4.tar.gz ports-f0f4ce588159d5ad80e11d7afeb1d1d68f29a7e4.zip | |
Notes
Diffstat (limited to 'editors/jed')
| -rw-r--r-- | editors/jed/Makefile | 4 |
1 files 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 \ |