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+

Tomas Popela

Reported 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).

Attachments
Patch (1.40 KB, patch) 2014-08-14 01:40 PDT, Carlos Garcia Campos	pnormand: review+	Details Formatted Diff Diff
View All Add attachment proposed patch, testcase, etc.

Carlos Garcia Campos

Comment 1 2014-08-14 01:40:54 PDT

Created attachment 236581 [details] Patch

Carlos Garcia Campos

Comment 2 2014-08-14 03:32:02 PDT

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

Note You need to log in before you can comment on or make changes to this bug.