From 5cdc7fdfeec0b752be7d3029cd7309f85c494574 Mon Sep 17 00:00:00 2001 From: Muhammad Moinur Rahman Date: Fri, 23 Feb 2024 07:32:51 +0100 Subject: [PATCH] deskutils/wmpinboard: Moved man to share/man Approved by: portmgr (blanket) --- deskutils/wmpinboard/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/deskutils/wmpinboard/Makefile b/deskutils/wmpinboard/Makefile index 035b9058e05a..5b94ed8ad8cb 100644 --- a/deskutils/wmpinboard/Makefile +++ b/deskutils/wmpinboard/Makefile @@ -1,6 +1,6 @@ PORTNAME= wmpinboard PORTVERSION= 1.0 -PORTREVISION= 5 +PORTREVISION= 6 CATEGORIES= deskutils afterstep windowmaker MASTER_SITES= DEBIAN_POOL DISTNAME= ${PORTNAME}_${PORTVERSION}.orig @@ -13,10 +13,11 @@ WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}.orig USES= gmake xorg USE_XORG= xpm GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX=${PREFIX}/share MAKE_ARGS= ACLOCAL="${TRUE}" AUTOCONF="${TRUE}" AUTOMAKE="${TRUE}" \ AUTOHEADER="${TRUE}" PLIST_FILES= bin/wmpinboard \ - man/man1/wmpinboard.1.gz + share/man/man1/wmpinboard.1.gz .include