diff options
Diffstat (limited to 'extra/webkitgtk2/PKGBUILD')
-rw-r--r-- | extra/webkitgtk2/PKGBUILD | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/extra/webkitgtk2/PKGBUILD b/extra/webkitgtk2/PKGBUILD index 60865fe7c..2b2dc3754 100644 --- a/extra/webkitgtk2/PKGBUILD +++ b/extra/webkitgtk2/PKGBUILD @@ -1,9 +1,9 @@ -# $Id: PKGBUILD 188478 2013-06-14 20:00:26Z heftig $ +# $Id: PKGBUILD 188485 2013-06-14 23:12:24Z heftig $ # Maintainer: Andreas Radke <andyrtr@archlinux.org> pkgname=webkitgtk2 pkgver=1.10.2 -pkgrel=6 +pkgrel=7 pkgdesc="GTK+ Web content engine library for GTK+ 2.0" arch=(i686 x86_64) url="http://webkitgtk.org/" @@ -42,4 +42,5 @@ package() { cd webkitgtk-$pkgver make -j1 DESTDIR="$pkgdir" install install -Dm644 Source/WebKit/LICENSE "$pkgdir/usr/share/licenses/$pkgname/LICENSE" + rm -r "$pkgdir/usr/share/gtk-doc/html/webkitgtk" } |