diff options
author | root <root@rshg054.dnsready.net> | 2013-06-16 01:26:25 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-06-16 01:26:25 -0700 |
commit | 44c10f274ec720a1512b15457b9eeffea28c6041 (patch) | |
tree | 48d27d6116dfd4fdce957af918c3d62385fd9226 /extra/webkitgtk2/PKGBUILD | |
parent | 0a069ede63336b105cda051cebe136f2592847d2 (diff) |
Sun Jun 16 01:25:28 PDT 2013
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" } |