[webkit-reviews] review granted: [Bug 77094] [GTK] API documentation is not installed even when building with --enable-gtk-doc : [Attachment 124917] Patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has granted Carlos Garcia Campos
<cgarcia at igalia.com>'s request for review:
Bug 77094: [GTK] API documentation is not installed even when building with
--enable-gtk-doc
https://bugs.webkit.org/show_bug.cgi?id=77094

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

------- Additional Comments from Martin Robinson <mrobinson at webkit.org>
View in context: https://bugs.webkit.org/attachment.cgi?id=124917&action=review


Thank you.

> Tools/GNUmakefile.am:288
> +	then echo 1>&2 'Nothing to install' ; \

Maybe say "No documentation to install here"

> Tools/GNUmakefile.am:309
> +	then echo 1>&2 'Nothing to install' ; \

Ditto.