Bug 135836

Summary:

[GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install

Product:

WebKit

Reporter:

Tomas Popela <tpopela>

Component:

WebKitGTK

Assignee:

Nobody <webkit-unassigned>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

bunhere, cgarcia, commit-queue, gyuyoung.kim, pnormand, rakuco, sergio

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
Patch	pnormand: review+

Description Tomas Popela 2014-08-12 03:49:28 PDT

After switch to CMake the WebKit DOM documentation (webkitdomgtk) is not installed after running make install (WebKit is compiled with the ENABLE_GTKDOC=ON option set).

Comment 1 Carlos Garcia Campos 2014-08-14 01:40:54 PDT

Created attachment 236581 [details]
Patch

Comment 2 Carlos Garcia Campos 2014-08-14 03:32:02 PDT

Committed r172581: <http://trac.webkit.org/changeset/172581>