From 92cb7f50466e2c9add33cba0935c9161622a8112 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Fri, 14 Mar 2014 15:22:03 +0100
Subject: [PATCH] webkit-gtk: remove conflicting gtk-doc files.

---
 srcpkgs/webkit-gtk/template | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/webkit-gtk/template b/srcpkgs/webkit-gtk/template
index 0b573300fd1..35ec22755af 100644
--- a/srcpkgs/webkit-gtk/template
+++ b/srcpkgs/webkit-gtk/template
@@ -1,7 +1,7 @@
 # Template file for 'webkit-gtk'
 pkgname=webkit-gtk
 version=1.10.2
-revision=5
+revision=6
 wrksrc="webkitgtk-${version}"
 build_style=gnu-configure
 configure_args="--enable-jit --with-font-backend=freetype --with-gtk=2.0
@@ -19,6 +19,11 @@ license="LGPL-2.1, Simplified BSD (2 clause)"
 distfiles="${homepage}/releases/webkitgtk-${version}.tar.xz"
 checksum=19234f8e4edfaefe91ed06471a2aa8c71d26dd55d33787eede1dcfc9a3a96d9c
 
+post_install() {
+	# Remove conflicting files with webkitgtk-devel.
+	rm -rf ${DESTDIR}/usr/share/gtk-doc
+}
+
 webkit-gtk-devel_package() {
 	depends="libglib-devel gtk+-devel libsoup-devel webkit-gtk-${version}_${revision}"
 	short_desc+=" - development files"
@@ -26,5 +31,6 @@ webkit-gtk-devel_package() {
 		vmove usr/include
 		vmove usr/lib/pkgconfig
 		vmove usr/share/gir-1.0
+		vmove "usr/lib/*.so"
 	}
 }