diff options
Diffstat (limited to 'shells/pdksh')
| -rw-r--r-- | shells/pdksh/Makefile | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/shells/pdksh/Makefile b/shells/pdksh/Makefile index 3e36587692bf..adfe60b8dbe1 100644 --- a/shells/pdksh/Makefile +++ b/shells/pdksh/Makefile @@ -3,20 +3,16 @@ # Date created: 23 May 1995 # Whom: thomas@ghpc8.ihf.rwth-aachen.de # -# $Id: Makefile,v 1.14 1996/10/16 06:34:33 tg Exp $ +# $Id: Makefile,v 1.15 1996/11/05 08:11:34 tg Exp $ # DISTNAME= pdksh-5.2.12 -CATEGORIES+= shells +CATEGORIES= shells MASTER_SITES= ftp://ftp.cs.mun.ca/pub/pdksh/ MAINTAINER= tg@freebsd.org GNU_CONFIGURE= yes - -post-install: -.if !defined(NOMANCOMPRESS) - gzip -9nf ${PREFIX}/man/man1/ksh.1 -.endif +MAN1= ksh.1 .include <bsd.port.mk> |