diff options
| author | root <root@rshg054.dnsready.net> | 2013-10-08 02:34:09 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-10-08 02:34:09 -0700 |
| commit | 3a0ad5dc35d5cff379cdfc736b9cae856416fe6a (patch) | |
| tree | a6af20a38d47d7a7ae8e1b98f70005c54644bbdd /extra/devhelp/PKGBUILD | |
| parent | 9159b8ca1c97a398204d7a7d4d78c3394639bd02 (diff) | |
Tue Oct 8 02:32:53 PDT 2013
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 36b38a371..81c4056c0 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) 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 } |