diff options
Diffstat (limited to 'shells/pdksh/Makefile')
| -rw-r--r-- | shells/pdksh/Makefile | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/shells/pdksh/Makefile b/shells/pdksh/Makefile index ed05477b7d8b..e6943774f987 100644 --- a/shells/pdksh/Makefile +++ b/shells/pdksh/Makefile @@ -1,15 +1,20 @@ # New ports collection makefile for: pdksh -# Version required: 5.1.3 -# Date created: 23 December 1994 +# Version required: 5.2.3 +# Date created: 23 May 1995 # Whom: thomas@ghpc8.ihf.rwth-aachen.de # -# $Id: Makefile,v 1.4 1995/04/01 12:49:56 jkh Exp $ +# $Id: Makefile,v 1.5 1995/04/11 19:26:34 asami Exp $ # -DISTNAME= pdksh-5.1.3 +DISTNAME= pdksh-5.2.3 CATEGORIES+= shells MASTER_SITES= ftp://ftp.cs.mun.ca/pub/pdksh/ +MAINTAINER= thomas@ghpc8.ihf.rwth-aachen.de + GNU_CONFIGURE= yes +post-install: + gzip -9nf ${PREFIX}/man/man1/ksh.1 + .include <bsd.port.mk> |