[webkit-reviews] review requested: [Bug 135836] [GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install : [Attachment 236581] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has asked  for review:
Bug 135836: [GTK] WebKit DOM documentation (webkitdomgtk) not installed after
make install
https://bugs.webkit.org/show_bug.cgi?id=135836

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