diff options
-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 |