diff options
Diffstat (limited to 'misc/gnome-user-docs/Makefile')
| -rw-r--r-- | misc/gnome-user-docs/Makefile | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/misc/gnome-user-docs/Makefile b/misc/gnome-user-docs/Makefile deleted file mode 100644 index 307cd64ee591..000000000000 --- a/misc/gnome-user-docs/Makefile +++ /dev/null @@ -1,32 +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.1 -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 - -LIB_DEPENDS= gnomeui-2.0:${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|g ; \ - s|DATADIRNAME=lib|DATADIRNAME=share|g' ${WRKSRC}/configure - -.include <bsd.port.mk> |