[webkit-reviews] review granted: [Bug 91239] Uses gtk-doc tools even when --disable-gtk-doc passed : [Attachment 211570] Patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has granted Alberto Garcia
<berto at igalia.com>'s request for review:
Bug 91239: Uses gtk-doc tools even when --disable-gtk-doc passed
https://bugs.webkit.org/show_bug.cgi?id=91239

Attachment 211570: Patch
https://bugs.webkit.org/attachment.cgi?id=211570&action=review