git: e23e46cd745a - main - devel/splint: Move man pages to share/man
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 06 Mar 2024 13:03:59 UTC
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