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

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>