[webkit-reviews] review requested: [Bug 131178] [GTK] Fails to build documentation when output is redirected : [Attachment 228529] Patch

[bugzilla-daemon at webkit.org]

Gustavo Noronha (kov) <gns at gnome.org> has asked  for review:
Bug 131178: [GTK] Fails to build documentation when output is redirected
https://bugs.webkit.org/show_bug.cgi?id=131178

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