diff options
author | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
commit | b2a6f1b28b7fa31088cab9a90b0f5ab97948534d (patch) | |
tree | afa7b467e44b704b69c66862852a8c3118b8e308 /extra/devhelp | |
parent | 7c151ac5589d3dbef5972f69a62b847ecf565bfa (diff) |
Thu Oct 31 01:09:50 PDT 2013
Diffstat (limited to 'extra/devhelp')
-rw-r--r-- | extra/devhelp/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/devhelp/PKGBUILD b/extra/devhelp/PKGBUILD index 81c4056c0..8ecc5fbbb 100644 --- a/extra/devhelp/PKGBUILD +++ b/extra/devhelp/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 196026 2013-10-07 11:50:39Z jgc $ +# $Id: PKGBUILD 197908 2013-10-30 11:36:47Z allan $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Contributor: Jan de Groot <jgc@archlinux.org> # Contributor: Link Dupont <link@subpop.net> @@ -12,7 +12,7 @@ license=(GPL) url="http://live.gnome.org/devhelp/" depends=(webkitgtk hicolor-icon-theme) makedepends=(pkgconfig intltool python) -options=('!libtool' '!emptydirs') +options=('!emptydirs') install=devhelp.install groups=('gnome-extra') source=(http://ftp.gnome.org/pub/GNOME/sources/$pkgname/${pkgver%.*}/$pkgname-$pkgver.tar.xz) |