Date: Mon, 26 Feb 2024 18:40:54 GMT From: Muhammad Moinur Rahman <bofh@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: f6d8bd3e778b - main - x11/deskmenu: Moved man to share/man Message-ID: <202402261840.41QIesG3043732@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202402261840.41QIesG3043732>