git: a45b604cbd59 - main - devel/ppl: Move man pages to share/man
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 06 Mar 2024 13:03:49 UTC
The branch main has been updated by eduardo:
URL: https://cgit.FreeBSD.org/ports/commit/?id=a45b604cbd5915e94592d0000b9fe0cd94c0217c
commit a45b604cbd5915e94592d0000b9fe0cd94c0217c
Author: Nuno Teixeira <eduardo@FreeBSD.org>
AuthorDate: 2024-03-06 12:06:46 +0000
Commit: Nuno Teixeira <eduardo@FreeBSD.org>
CommitDate: 2024-03-06 13:03:23 +0000
devel/ppl: Move man pages to share/man
Approved by: portmgr (blanket)
---
devel/ppl/Makefile | 2 ++
devel/ppl/pkg-plist | 12 ++++++------
2 files changed, 8 insertions(+), 6 deletions(-)
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile
index 7b4ca9392380..dbb04fec8555 100644
--- a/devel/ppl/Makefile
+++ b/devel/ppl/Makefile
@@ -1,5 +1,6 @@
PORTNAME= ppl
PORTVERSION= 1.2
+PORTREVISION= 1
CATEGORIES= devel
MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/${PORTVERSION}/ \
http://bugseng.com/products/ppl/download/ftp/releases/${PORTVERSION}/
@@ -21,6 +22,7 @@ USE_LDCONFIG= yes
USE_PERL5= build
GNU_CONFIGURE= yes
+GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share
CONFIGURE_ARGS= --disable-debugging \
--enable-optimization \
--enable-documentation \
diff --git a/devel/ppl/pkg-plist b/devel/ppl/pkg-plist
index 8c459c874503..f572614e9918 100644
--- a/devel/ppl/pkg-plist
+++ b/devel/ppl/pkg-plist
@@ -12,11 +12,11 @@ lib/libppl_c.a
lib/libppl_c.so
lib/libppl_c.so.4
lib/libppl_c.so.4.0.0
-man/man1/ppl-config.1.gz
-man/man1/ppl_lcdd.1.gz
-man/man1/ppl_lpsol.1.gz
-man/man1/ppl_pips.1.gz
-man/man3/libppl.3.gz
-man/man3/libppl_c.3.gz
share/aclocal/ppl.m4
share/aclocal/ppl_c.m4
+share/man/man1/ppl-config.1.gz
+share/man/man1/ppl_lcdd.1.gz
+share/man/man1/ppl_lpsol.1.gz
+share/man/man1/ppl_pips.1.gz
+share/man/man3/libppl.3.gz
+share/man/man3/libppl_c.3.gz