diff options
Diffstat (limited to 'misc/gnome-user-docs/Makefile')
| -rw-r--r-- | misc/gnome-user-docs/Makefile | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/misc/gnome-user-docs/Makefile b/misc/gnome-user-docs/Makefile deleted file mode 100644 index bc2eac6fa194..000000000000 --- a/misc/gnome-user-docs/Makefile +++ /dev/null @@ -1,33 +0,0 @@ -# New ports collection makefile for: gnomeuserdocs2 -# Date created: 07 July 2002 -# Whom: Joe Marcus Clarke <marcus@FreeBSD.org> -# -# $FreeBSD$ -# - -PORTNAME= gnomeuserdocs2 -PORTVERSION= 2.0.5 -CATEGORIES= misc gnome -MASTER_SITES= ${MASTER_SITE_GNOME} -MASTER_SITE_SUBDIR= sources/gnome2-user-docs/2.0 -DISTNAME= gnome2-user-docs-${PORTVERSION} -DIST_SUBDIR= gnome2 - -MAINTAINER= gnome@FreeBSD.org -COMMENT= GNOME 2.0 users guide - -LIB_DEPENDS= gnomeui-2.200:${PORTSDIR}/x11-toolkits/libgnomeui - -USE_BZIP2= yes -USE_X_PREFIX= yes -USE_GMAKE= yes -USE_REINPLACE= yes -GNU_CONFIGURE= yes -USE_GNOMENG= yes -USE_GNOME= gnomeprefix gnomehack - -post-patch: - @${REINPLACE_CMD} -e 's|-lpthread|${PTHREAD_LIBS}|g ; \ - s|DATADIRNAME=lib|DATADIRNAME=share|g' ${WRKSRC}/configure - -.include <bsd.port.mk> |