lang/polyml: Moved man to share/man

Approved by: portmgr (blanket)
freebsd · Feb 24, 2024 · 06ea1a7 · 06ea1a7
1 parent 5ca8ed4
commit 06ea1a7
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git 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
@@ -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