diff options
Diffstat (limited to 'extra/devhelp/PKGBUILD')
-rw-r--r-- | extra/devhelp/PKGBUILD | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/extra/devhelp/PKGBUILD b/extra/devhelp/PKGBUILD index 2a5913115..a2f70e87c 100644 --- a/extra/devhelp/PKGBUILD +++ b/extra/devhelp/PKGBUILD @@ -1,28 +1,27 @@ -# $Id: PKGBUILD 191281 2013-07-23 09:52:37Z jgc $ +# $Id: PKGBUILD 196026 2013-10-07 11:50:39Z jgc $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Contributor: Jan de Groot <jgc@archlinux.org> # Contributor: Link Dupont <link@subpop.net> pkgname=devhelp -pkgver=3.8.2 -pkgrel=2 +pkgver=3.10.0 +pkgrel=1 pkgdesc="API documentation browser for GNOME" arch=(i686 x86_64 'mips64el') license=(GPL) url="http://live.gnome.org/devhelp/" -depends=(webkitgtk3 hicolor-icon-theme) +depends=(webkitgtk hicolor-icon-theme) makedepends=(pkgconfig intltool python) options=('!libtool' '!emptydirs') install=devhelp.install groups=('gnome-extra') source=(http://ftp.gnome.org/pub/GNOME/sources/$pkgname/${pkgver%.*}/$pkgname-$pkgver.tar.xz) -sha256sums=('a245b53824c6f2ff89245ff807bb2140bde74951ea6f1d759a0fd0c6959ca9f7') +sha256sums=('4d28d21a0331c67086607b737147947b288416ab38c8a0b0264f7a63bd4fce9b') build() { cd $pkgname-$pkgver ./configure --prefix=/usr --sysconfdir=/etc \ - --localstatedir=/var --disable-static \ - --with-webkit2 + --localstatedir=/var --disable-static make } |