diff options
Diffstat (limited to 'shells/bash')
| -rw-r--r-- | shells/bash/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/shells/bash/Makefile b/shells/bash/Makefile index 3703dd0b42bc..4b92bde72677 100644 --- a/shells/bash/Makefile +++ b/shells/bash/Makefile @@ -3,12 +3,18 @@ # Date created: 21 August 1994 # Whom: jkh # -# $Id: Makefile,v 1.11 1995/04/18 11:05:37 ache Exp $ +# $Id: Makefile,v 1.12 1995/07/19 17:44:24 ache Exp $ # DISTNAME= bash-1.14.5 CATEGORIES+= shells MASTER_SITES= ftp://slc2.ins.cwru.edu/pub/dist/ + MAINTAINER= ache@FreeBSD.ORG +post-install: +.if !defined(NOMANCOMPRESS) + gzip -9nf ${PREFIX}/man/man1/bash.1 ${PREFIX}/man/man1/bash_builtins.1 +.endif + .include <bsd.port.mk> |