diff options
Diffstat (limited to 'extra/gnome-terminal/PKGBUILD')
| -rw-r--r-- | extra/gnome-terminal/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/gnome-terminal/PKGBUILD b/extra/gnome-terminal/PKGBUILD index 45ce6a7ce..1ac2554d5 100644 --- a/extra/gnome-terminal/PKGBUILD +++ b/extra/gnome-terminal/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 196570 2013-10-15 14:10:38Z heftig $ +# $Id: PKGBUILD 198033 2013-10-30 12:23:40Z allan $ # Maintainer: Jan de Groot <jgc@archlinux.org> pkgname=gnome-terminal @@ -10,7 +10,7 @@ license=(GPL) depends=(vte3 gsettings-desktop-schemas dconf) makedepends=(gnome-doc-utils intltool itstool docbook-xsl desktop-file-utils gconf libnautilus-extension) optdepends=('gconf: settings migration when upgrading from older version') -options=('!emptydirs' '!libtool') +options=('!emptydirs') url="http://www.gnome.org" groups=('gnome') install=gnome-terminal.install |