diff options
| -rw-r--r-- | devel/gindent/Makefile | 11 | ||||
| -rw-r--r-- | devel/gindent/distinfo | 2 | ||||
| -rw-r--r-- | devel/gindent/pkg-plist | 2 |
3 files changed, 10 insertions, 5 deletions
diff --git a/devel/gindent/Makefile b/devel/gindent/Makefile index f6de876b5e44..d30283bef3a4 100644 --- a/devel/gindent/Makefile +++ b/devel/gindent/Makefile @@ -1,12 +1,12 @@ # New ports collection makefile for: indent -# Version required: 2.1.0 +# Version required: 2.1.1 # Date created: 28 August 1997 # Whom: Kapil Chowksey <kchowksey@hss.hns.com> # -# $Id: Makefile,v 1.4 1999/06/28 19:12:06 cpiazza Exp $ +# $Id: Makefile,v 1.5 1999/07/09 00:28:51 cpiazza Exp $ # -DISTNAME= indent-2.1.0 +DISTNAME= indent-2.1.1 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= indent @@ -17,6 +17,11 @@ GNU_CONFIGURE= yes MAN1= indent.1 +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/indent ${PREFIX}/bin/gindent + ${INSTALL_DATA} ${WRKSRC}/indent.info ${PREFIX}/info + ${INSTALL_MAN} ${WRKSRC}/indent.1 ${PREFIX}/man/man1 + post-install: @if [ ! -f ${PREFIX}/info/dir ]; then \ ${SED} -ne '1,/Menu:/p' /usr/share/info/dir > ${PREFIX}/info/dir; \ diff --git a/devel/gindent/distinfo b/devel/gindent/distinfo index 0987d51301ca..f579227df12e 100644 --- a/devel/gindent/distinfo +++ b/devel/gindent/distinfo @@ -1 +1 @@ -MD5 (indent-2.1.0.tar.gz) = 4ab5a6264b7a23b1f8e4b6b36e1a8119 +MD5 (indent-2.1.1.tar.gz) = 08b760e59d0252210b6ad4e4980cfec2 diff --git a/devel/gindent/pkg-plist b/devel/gindent/pkg-plist index 34b7a1677540..b9c7ea059bc6 100644 --- a/devel/gindent/pkg-plist +++ b/devel/gindent/pkg-plist @@ -1,4 +1,4 @@ -bin/indent +bin/gindent @unexec install-info --delete %D/info/indent.info %D/info/dir info/indent.info @exec [ -f %D/info/dir ] || sed -ne '1,/Menu:/p' /usr/share/info/dir > %D/info/dir |