diff options
Diffstat (limited to 'shells/bash1/Makefile')
| -rw-r--r-- | shells/bash1/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/shells/bash1/Makefile b/shells/bash1/Makefile index 95451b945a72..528426a3cbb6 100644 --- a/shells/bash1/Makefile +++ b/shells/bash1/Makefile @@ -1,20 +1,23 @@ +# 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.25 1997/06/26 06:23:23 fenner Exp $ +# $Id: Makefile,v 1.26 1998/04/04 07:36:44 asami Exp $ # DISTNAME= bash-1.14.7 CATEGORIES= shells MASTER_SITES= ${MASTER_SITE_GNU} -MAINTAINER= obrien@NUXI.com +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 \ |