Date: Wed, 6 Mar 2024 13:03:59 GMT From: Nuno Teixeira <eduardo@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: e23e46cd745a - main - devel/splint: Move man pages to share/man Message-ID: <202403061303.426D3xXi087983@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by eduardo: URL: https://cgit.FreeBSD.org/ports/commit/?id=e23e46cd745aa592d4a57c8da121b1b67e2cef2c commit e23e46cd745aa592d4a57c8da121b1b67e2cef2c Author: Nuno Teixeira <eduardo@FreeBSD.org> AuthorDate: 2024-03-06 12:39:24 +0000 Commit: Nuno Teixeira <eduardo@FreeBSD.org> CommitDate: 2024-03-06 13:03:25 +0000 devel/splint: Move man pages to share/man Approved by: portmgr (blanket) --- devel/splint/Makefile | 2 ++ devel/splint/pkg-plist | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 49df11d5a206..f443eb390741 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -1,5 +1,6 @@ PORTNAME= splint PORTVERSION= 3.1.2 +PORTREVISION= 1 CATEGORIES= devel security MASTER_SITES= http://www.splint.org/downloads/ EXTRACT_SUFX= .src.tgz @@ -12,6 +13,7 @@ LICENSE= GPLv2+ USES= gmake GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share CONFIGURE_ENV= BISON=no MAKE_JOBS_UNSAFE= yes diff --git a/devel/splint/pkg-plist b/devel/splint/pkg-plist index baf6b5d3be8f..d2f7ea100f38 100644 --- a/devel/splint/pkg-plist +++ b/devel/splint/pkg-plist @@ -1,5 +1,5 @@ bin/splint -man/man1/splint.1.gz +share/man/man1/splint.1.gz %%DATADIR%%/imports/assert.lcl %%DATADIR%%/imports/assert.lcs %%DATADIR%%/imports/ctype.lcl
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202403061303.426D3xXi087983>