git: 06ea1a75c9ed - main - lang/polyml: Moved man to share/man

From: Muhammad Moinur Rahman <bofh_at_FreeBSD.org>
Date: Sat, 24 Feb 2024 16:12:51 UTC 
The branch main has been updated by bofh:

URL: https://cgit.FreeBSD.org/ports/commit/?id=06ea1a75c9ed0f7d8c2b0b5a4ee7f05d456fa7e5

commit 06ea1a75c9ed0f7d8c2b0b5a4ee7f05d456fa7e5
Author:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
AuthorDate: 2024-02-24 16:11:34 +0000
Commit:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
CommitDate: 2024-02-24 16:12:21 +0000

    lang/polyml: Moved man to share/man
    
    Approved by:    portmgr (blanket)
---
 lang/polyml/Makefile  | 2 ++
 lang/polyml/pkg-plist | 6 +++---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile
index 26268ffb1615..9b5189465d7d 100644
--- a/lang/polyml/Makefile
+++ b/lang/polyml/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	polyml
 PORTVERSION=	5.9.1
+PORTREVISION=	1
 DISTVERSIONPREFIX=	v
 CATEGORIES=	lang
 DIST_SUBDIR=	${PORTNAME}
@@ -19,6 +20,7 @@ USE_GITHUB=	yes
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
 CONFIGURE_ARGS=	--with-system-libffi --enable-shared
 
 INSTALL_TARGET=	install-strip
diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist
index ecef77b90b9f..744ab17237c0 100644
--- a/lang/polyml/pkg-plist
+++ b/lang/polyml/pkg-plist
@@ -7,6 +7,6 @@ lib/libpolyml.so
 lib/libpolyml.so.14
 lib/libpolyml.so.14.0.0
 libdata/pkgconfig/polyml.pc
-man/man1/poly.1.gz
-man/man1/polyc.1.gz
-man/man1/polyimport.1.gz
+share/man/man1/poly.1.gz
+share/man/man1/polyc.1.gz
+share/man/man1/polyimport.1.gz