From 06ea1a75c9ed0f7d8c2b0b5a4ee7f05d456fa7e5 Mon Sep 17 00:00:00 2001 From: Muhammad Moinur Rahman Date: Sat, 24 Feb 2024 17:11:34 +0100 Subject: [PATCH] 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 26268ffb16152..9b5189465d7df 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 ecef77b90b9fe..744ab17237c0b 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