diff options
Diffstat (limited to 'shells/bash1/Makefile')
-rw-r--r-- | shells/bash1/Makefile | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/shells/bash1/Makefile b/shells/bash1/Makefile deleted file mode 100644 index 26913e24031f..000000000000 --- a/shells/bash1/Makefile +++ /dev/null @@ -1,29 +0,0 @@ -# ex:ts=8 -# New ports collection makefile for: bash -# Version required: 1.14.7 -# Date created: 21 August 1994 -# Whom: jkh -# -# $Id: Makefile,v 1.27 1998/08/13 21:30:06 obrien Exp $ -# - -DISTNAME= bash-1.14.7 -CATEGORIES= shells -MASTER_SITES= ${MASTER_SITE_GNU} -MASTER_SITE_SUBDIR= bash - -MAINTAINER= obrien@FreeBSD.org - -NO_LATEST_LINK= yes -WRKSRC= ${WRKDIR}/${DISTNAME} -# Don't compress manpages or .so not works. -NOMANCOMPRESS= yes -MAN1= bash.1 bash_builtins.1 - -post-install: - @if [ ! -f ${PREFIX}/info/dir ]; then \ - ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ - fi - @install-info ${PREFIX}/info/bash.info ${PREFIX}/info/dir - -.include <bsd.port.mk> |