Bug 135836 - [GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install
Summary: [GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebKitGTK (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-08-12 03:49 PDT by Tomas Popela
Modified: 2014-08-14 03:32 PDT (History)
7 users (show)

See Also:

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

Note You need to log in before you can comment on or make changes to this bug.
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>