diff options
Diffstat (limited to 'devel/devhelp/Makefile')
| -rw-r--r-- | devel/devhelp/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/devhelp/Makefile b/devel/devhelp/Makefile index 280ead998..218976357 100644 --- a/devel/devhelp/Makefile +++ b/devel/devhelp/Makefile @@ -4,6 +4,7 @@ PORTNAME= devhelp PORTVERSION= 3.12.1 +PORTREVISION= 1 CATEGORIES= devel gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 @@ -13,7 +14,7 @@ COMMENT= Developer help browser for GNOME 3 LIB_DEPENDS= libwebkitgtk-3.0.so:${PORTSDIR}/www/webkit-gtk3 -USES= gettext gmake pathfix pkgconfig tar:xz +USES= gettext gmake libtool pathfix pkgconfig tar:xz USE_GNOME= gnomeprefix gtk30 intlhack libxslt USE_XORG= x11 GNU_CONFIGURE= yes @@ -29,4 +30,3 @@ post-patch: @${REINPLACE_CMD} -e 's|gedit-plugin||g' ${WRKSRC}/misc/Makefile.in .include <bsd.port.mk> - |