From 7200abb4236485e78ee0f0626ab9564165987438 Mon Sep 17 00:00:00 2001 From: Dmitry Marakasov Date: Sun, 4 Aug 2019 09:02:26 +0000 Subject: [PATCH] - Fix LICENSE - Add LICENSE_FILE - Add USES=gnome - Update WWW Approved by: portmgr blanket --- x11/deskmenu/Makefile | 5 +++-- x11/deskmenu/pkg-descr | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/x11/deskmenu/Makefile b/x11/deskmenu/Makefile index f84d22e4d4f7..7ee0d7898901 100644 --- a/x11/deskmenu/Makefile +++ b/x11/deskmenu/Makefile @@ -10,9 +10,10 @@ DISTNAME= ${PORTNAME}_${PORTVERSION} MAINTAINER= matt@peterson.org COMMENT= X11 application launcher -LICENSE= GPLv2 +LICENSE= GPLv2+ +LICENSE_FILE= ${WRKSRC}/COPYING -USES= pkgconfig +USES= pkgconfig gnome GNU_CONFIGURE= yes USE_GNOME= gtk20 diff --git a/x11/deskmenu/pkg-descr b/x11/deskmenu/pkg-descr index 0b6696bbccbc..aa12453d3073 100644 --- a/x11/deskmenu/pkg-descr +++ b/x11/deskmenu/pkg-descr @@ -3,4 +3,4 @@ window. It is configured from a .deskmenurc file in user's home directory. DeskMenu is useful for window managers which do not provide a menu such as Oroborus. -WWW: http://www.oroborus.org/ +WWW: https://www.oroborus.org/