diff options
Diffstat (limited to 'devel/pth/Makefile')
| -rw-r--r-- | devel/pth/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/devel/pth/Makefile b/devel/pth/Makefile index acd0f2efcec2..0e5147b86253 100644 --- a/devel/pth/Makefile +++ b/devel/pth/Makefile @@ -1,12 +1,12 @@ # New ports collection makefile for: nps -# Version required: 0.9.15 +# Version required: 0.9.16 # Date Created: 23 May 1999 # Whom: Ralf S. Engelschall # -# $Id: Makefile,v 1.8 1999/06/01 16:13:54 rse Exp $ +# $Id: Makefile,v 1.9 1999/06/04 11:18:09 rse Exp $ # -DISTNAME= nps-0.9.15 +DISTNAME= nps-0.9.16 CATEGORIES= devel MASTER_SITES= http://www.engelschall.com/sw/nps/ \ ftp://ftp.engelschall.com/sw/nps/ @@ -14,7 +14,7 @@ MASTER_SITES= http://www.engelschall.com/sw/nps/ \ MAINTAINER= rse@engelschall.com GNU_CONFIGURE= yes -CONFIGURE_ARGS= --prefix=${PREFIX} +CONFIGURE_ARGS= --prefix=${PREFIX} --enable-batch MAN1= nps-config.1 MAN3= nps.3 |