From 49c78b424a4dd7aad3b4e281854049bf877c930b Mon Sep 17 00:00:00 2001
From: Kevin Mihelich <kevin@archlinuxarm.org>
Date: Sat, 7 Jun 2014 21:00:51 +0000
Subject: [PATCH] extra/webkitgtk fix

---
 extra/webkitgtk/PKGBUILD | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/extra/webkitgtk/PKGBUILD b/extra/webkitgtk/PKGBUILD
index 74618c84f..296b207d6 100644
--- a/extra/webkitgtk/PKGBUILD
+++ b/extra/webkitgtk/PKGBUILD
@@ -3,6 +3,7 @@
 
 # ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
 #  - use --disable-jit to solve segfaults
+#  - use --disable-gtk-doc-html to solve html docs breaking the build
 
 pkgbase=webkitgtk
 pkgname=(webkitgtk webkitgtk2)
@@ -39,7 +40,7 @@ _build() (
 
   ../$pkgbase-$pkgver/configure --prefix=/usr \
     --libexecdir=/usr/lib/webkit${_ver} \
-    --enable-introspection --disable-jit \
+    --enable-introspection --disable-jit --disable-gtk-doc-html \
     "$@"
 
   # https://bugzilla.gnome.org/show_bug.cgi?id=655517