From c45ff3e5a1475a2b9b8c2e4fca7867719fbdbdad Mon Sep 17 00:00:00 2001
From: Li-Wen Hsu <lwhsu@FreeBSD.org>
Date: Thu, 13 Dec 2007 01:09:51 +0000
Subject: [PATCH] - Update to to 2.12.16

PR:		ports/116309
Submitted by:	Christopher Illies <christopher.illies AT ki.se> (maintainer)
---
 math/gri/Makefile | 7 ++++---
 math/gri/distinfo | 6 +++---
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/math/gri/Makefile b/math/gri/Makefile
index 53a359c836bc..242fdbbead29 100644
--- a/math/gri/Makefile
+++ b/math/gri/Makefile
@@ -6,7 +6,7 @@
 #
 
 PORTNAME=	gri
-PORTVERSION=	2.12.15
+PORTVERSION=	2.12.16
 CATEGORIES=	math
 MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
 MASTER_SITE_SUBDIR=	${PORTNAME}
@@ -30,16 +30,17 @@ MAKE_ENV+=	MAKEINFOFLAGS=--no-split
 MAN1=	gri.1 gri_merge.1 gri_unpage.1
 INFO=	gri
 
-post-patch:
 .if defined(NOPORTDOCS)
+post-patch:
 	${REINPLACE_CMD} -e '/^(DIST_)?SUBDIRS/s/doc//' ${WRKSRC}/Makefile.in
 .endif
 
-post-install:
 .if defined(NOPORTDOCS)
+post-install:
 	${INSTALL_MAN} ${WRKSRC}/doc/gri-manpage.1 ${MANPREFIX}/man/man1/gri.1
 	${INSTALL_MAN} ${WRKSRC}/doc/gri_merge.1-skel ${MANPREFIX}/man/man1/gri_merge.1
 	${INSTALL_MAN} ${WRKSRC}/doc/gri_unpage.1-skel ${MANPREFIX}/man/man1/gri_unpage.1
+	cd ${WRKSRC}/doc && makeinfo gri.texi
 	${INSTALL_DATA} ${WRKSRC}/doc/gri.info* ${PREFIX}/info
 .endif
 
diff --git a/math/gri/distinfo b/math/gri/distinfo
index 141cd2d8059b..5c5b9e31fef4 100644
--- a/math/gri/distinfo
+++ b/math/gri/distinfo
@@ -1,3 +1,3 @@
-MD5 (gri-2.12.15.tar.gz) = c0ddc3990cb60bc8b31eef7604fd7544
-SHA256 (gri-2.12.15.tar.gz) = 9eae0f422e2040c297cf36a7a65c13895d0c6324b5baa79ad99be37b98ac0fb8
-SIZE (gri-2.12.15.tar.gz) = 1650696
+MD5 (gri-2.12.16.tar.gz) = 6c368b024367ad56b2c4a02666ce6672
+SHA256 (gri-2.12.16.tar.gz) = dfe384cc8ebd82760b9c8a1af9644a69a995b2d4bd0f166abb667c918bd68df3
+SIZE (gri-2.12.16.tar.gz) = 1431717