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

---
 extra/webkitgtk/PKGBUILD | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/extra/webkitgtk/PKGBUILD b/extra/webkitgtk/PKGBUILD
index 296b207d6..ce93d3471 100644
--- a/extra/webkitgtk/PKGBUILD
+++ b/extra/webkitgtk/PKGBUILD
@@ -3,7 +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
+#  - use --disable-gtk-doc to solve html docs breaking the build
 
 pkgbase=webkitgtk
 pkgname=(webkitgtk webkitgtk2)
@@ -40,7 +40,7 @@ _build() (
 
   ../$pkgbase-$pkgver/configure --prefix=/usr \
     --libexecdir=/usr/lib/webkit${_ver} \
-    --enable-introspection --disable-jit --disable-gtk-doc-html \
+    --enable-introspection --disable-jit \
     "$@"
 
   # https://bugzilla.gnome.org/show_bug.cgi?id=655517
@@ -52,7 +52,7 @@ _build() (
 build() {
   PATH="$srcdir/path:$PATH"
 
-  _build gtk --enable-gtk-doc
+  _build gtk --disable-gtk-doc
   _build gtk2 --disable-webkit2 --with-gtk=2.0
 }