[webkit-reviews] review requested: [Bug 135970] [GTK] HTML API documentation should also be installed versioned : [Attachment 236646] Patch

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has asked  for review:
Bug 135970: [GTK] HTML API documentation should also be installed versioned
https://bugs.webkit.org/show_bug.cgi?id=135970

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