mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00:00
Code Issues Releases Activity

x11/deskmenu: Moved man to share/man

Browse Source 
Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-26 19:18:51 +01:00
parent 40e7b80e69
commit f6d8bd3e77
No known key found for this signature in database
GPG Key ID: BDB9B5A617C0BC91
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
x11/deskmenu/Makefile
View File

@ -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