diff options
Diffstat (limited to 'extra/devhelp/PKGBUILD')
| -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 a2f70e87c..0e8d89453 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) |