From 4c91bae62656a9a3cb4edd9526d3093ccdfacd93 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Wed, 15 Oct 2014 14:04:52 +0200
Subject: [PATCH] webkitgtk: repair installation (gtk-doc is gone)

---
 srcpkgs/webkitgtk/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/webkitgtk/template b/srcpkgs/webkitgtk/template
index ccb3b09620..37e46629a4 100644
--- a/srcpkgs/webkitgtk/template
+++ b/srcpkgs/webkitgtk/template
@@ -64,7 +64,7 @@ webkitgtk-devel_package() {
 		if [ "$build_option_gir" ]; then
 			vmove usr/share/gir-1.0
 		fi
-		vmove usr/share/gtk-doc
+		#vmove usr/share/gtk-doc
 		vmove "usr/lib/*.so"
 	}
 }