a0ce779c88
Since GNOME changes their numbering, in some Makefile MASTER_SITES= GNOME is more complex. This patch simplify for users. Differential Revision: https://reviews.freebsd.org/D43183
23 lines
421 B
Makefile
23 lines
421 B
Makefile
PORTNAME= gnome-user-docs
|
|
PORTVERSION= 42.0
|
|
CATEGORIES= misc gnome
|
|
MASTER_SITES= GNOME
|
|
DIST_SUBDIR= gnome
|
|
|
|
MAINTAINER= gnome@FreeBSD.org
|
|
COMMENT= GNOME desktop users guide
|
|
|
|
LICENSE= CC-BY-3.0
|
|
LICENSE_FILE= ${WRKSRC}/COPYING
|
|
|
|
BUILD_DEPENDS= itstool:textproc/itstool
|
|
|
|
PORTSCOUT= limitw:1,even
|
|
|
|
GNU_CONFIGURE= yes
|
|
NO_ARCH= yes
|
|
USES= gettext-tools gmake gnome pathfix tar:xz
|
|
USE_GNOME= libxml2:build
|
|
|
|
.include <bsd.port.mk>
|