From f6d8bd3e778b102082488d79064d03a581fcb165 Mon Sep 17 00:00:00 2001
From: Muhammad Moinur Rahman <bofh@FreeBSD.org>
Date: Mon, 26 Feb 2024 19:18:51 +0100
Subject: [PATCH] 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