diff options
Diffstat (limited to 'shells/bash1/Makefile')
| -rw-r--r-- | shells/bash1/Makefile | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/shells/bash1/Makefile b/shells/bash1/Makefile new file mode 100644 index 000000000000..4132c89a7adc --- /dev/null +++ b/shells/bash1/Makefile @@ -0,0 +1,29 @@ +# 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.28 1999/01/27 07:41:26 fenner 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> |