RESOLVED FIXED 135836
[GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install 
https://bugs.webkit.org/show_bug.cgi?id=135836
Summary [GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install
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+
DetailsFormatted DiffDiff
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.