diff options
Diffstat (limited to 'devel/devhelp')
| -rw-r--r-- | devel/devhelp/Makefile | 4 | ||||
| -rw-r--r-- | devel/devhelp/pkg-plist | 2 |
2 files changed, 3 insertions, 3 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> - diff --git a/devel/devhelp/pkg-plist b/devel/devhelp/pkg-plist index 79dcb0bd9..bf1dd7cfe 100644 --- a/devel/devhelp/pkg-plist +++ b/devel/devhelp/pkg-plist @@ -12,9 +12,9 @@ include/devhelp-3.0/devhelp/dh-language.h include/devhelp-3.0/devhelp/dh-link.h include/devhelp-3.0/devhelp/dh-sidebar.h include/devhelp-3.0/devhelp/dh-window.h -lib/libdevhelp-3.la lib/libdevhelp-3.so lib/libdevhelp-3.so.2 +lib/libdevhelp-3.so.2.0.0 libdata/pkgconfig/libdevhelp-3.0.pc share/GConf/gsettings/devhelp.convert share/appdata/devhelp.appdata.xml |