diff options
| author | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-06 12:39:24 +0000 |
|---|---|---|
| committer | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-06 13:03:25 +0000 |
| commit | e23e46cd745aa592d4a57c8da121b1b67e2cef2c (patch) | |
| tree | 2731cd03c976334c9816e818b28db6dcc5084ca5 | |
| parent | 4877728ebcca83d88a72321e4ccd1eab4e251c39 (diff) | |
devel/splint: Move man pages to share/man
Approved by: portmgr (blanket)
| -rw-r--r-- | devel/splint/Makefile | 2 | ||||
| -rw-r--r-- | devel/splint/pkg-plist | 2 |
2 files changed, 3 insertions, 1 deletions
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 |