mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
- Update to to 2.12.16
PR: ports/116309 Submitted by: Christopher Illies <christopher.illies AT ki.se> (maintainer)
This commit is contained in:
parent
1af386518b
commit
c45ff3e5a1
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=203427
@ -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
|
||||
|
||||
|
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user