git: f6d8bd3e778b - main - x11/deskmenu: Moved man to share/man

From: Muhammad Moinur Rahman <bofh_at_FreeBSD.org>
Date: Mon, 26 Feb 2024 18:40:54 UTC 
The branch main has been updated by bofh:

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

commit f6d8bd3e778b102082488d79064d03a581fcb165
Author:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
AuthorDate: 2024-02-26 18:18:51 +0000
Commit:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
CommitDate: 2024-02-26 18:40:30 +0000

    x11/deskmenu: Moved man to share/man
    
    Approved by:    portmgr (blanket)
---
 x11/deskmenu/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/x11/deskmenu/Makefile b/x11/deskmenu/Makefile
index cccdc502bcfa..47e41e6e1b9e 100644
--- a/x11/deskmenu/Makefile
+++ b/x11/deskmenu/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	deskmenu
 PORTVERSION=	1.4.5
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	x11
 MASTER_SITES=	DEBIAN/pool/main/d/${PORTNAME} GENTOO
 DISTNAME=	${PORTNAME}_${PORTVERSION}
@@ -14,11 +14,12 @@ LICENSE_FILE=	${WRKSRC}/COPYING
 
 USES=		pkgconfig gnome
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
 USE_GNOME=	gtk20
 
 WRKSRC=		${WRKDIR}/${PORTNAME}-${PORTVERSION}
 
-PLIST_FILES=	bin/deskmenu man/man1/deskmenu.1.gz \
+PLIST_FILES=	bin/deskmenu share/man/man1/deskmenu.1.gz \
 		@sample\ etc/deskmenurc.sample
 PORTDOCS=	AUTHORS ChangeLog