diff options
| author | asami <asami@FreeBSD.org> | 1996-05-16 07:02:07 +0800 |
|---|---|---|
| committer | asami <asami@FreeBSD.org> | 1996-05-16 07:02:07 +0800 |
| commit | 505b4b012ffc7aeb52ee881235518e820e8577e9 (patch) | |
| tree | f304439127f918ad8c70f6306622bc87ddb058d1 /shells/zsh-devel/Makefile | |
| parent | 59fda4cffd92220d4d74bf724e8d8c0ce8e899ca (diff) | |
| download | freebsd-ports-gnome-505b4b012ffc7aeb52ee881235518e820e8577e9.tar.gz freebsd-ports-gnome-505b4b012ffc7aeb52ee881235518e820e8577e9.tar.zst freebsd-ports-gnome-505b4b012ffc7aeb52ee881235518e820e8577e9.zip | |
Conditionalize man page compression on NOMANCOMPRESS. Use a .for loop
instead of a humongous gzip command line.
Diffstat (limited to 'shells/zsh-devel/Makefile')
| -rw-r--r-- | shells/zsh-devel/Makefile | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/shells/zsh-devel/Makefile b/shells/zsh-devel/Makefile index 7ef8a859327b..b7ec3f77f3fb 100644 --- a/shells/zsh-devel/Makefile +++ b/shells/zsh-devel/Makefile @@ -3,7 +3,7 @@ # Date created: 11 Feb. 1995 # Whom: torstenb # -# $Id: Makefile,v 1.14 1996/03/06 17:57:37 torstenb Exp $ +# $Id: Makefile,v 1.15 1996/05/15 18:39:29 torstenb Exp $ # DISTNAME= zsh-2.6-beta17 @@ -23,9 +23,11 @@ MAINTAINER= torstenb@FreeBSD.ORG GNU_CONFIGURE= yes post-install: - gzip -9nf ${PREFIX}/man/man1/zsh.1 ${PREFIX}/man/man1/zshbuiltins.1 \ - ${PREFIX}/man/man1/zshcompctl.1 ${PREFIX}/man/man1/zshexpn.1 \ - ${PREFIX}/man/man1/zshmisc.1 ${PREFIX}/man/man1/zshoptions.1 \ - ${PREFIX}/man/man1/zshparam.1 ${PREFIX}/man/man1/zshzle.1 +.if !defined(NOMANCOMPRESS) +.for man in zsh zshbuiltins zshcompctl zshexpn zshmisc zshoptions \ + zshparam zshzle + gzip -9nf ${PREFIX}/man/man1/${man}.1 +.endfor +.endif .include <bsd.port.mk> |