[Webkit-unassigned] [Bug 135836] New: [GTK] WebKit DOM documentation (webkitdomgtk) not installed after make install

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=135836

           Summary: [GTK] WebKit DOM documentation (webkitdomgtk) not
                    installed after make install
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: tpopela at redhat.com
                CC: cgarcia at igalia.com


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

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.