Bug 76626

Summary: [GTK] WebKit2 GTK+ API public headers are not installed
Product: WebKit Reporter: Carlos Garcia Campos <cgarcia>
Component: WebKit2Assignee: Nobody <webkit-unassigned>
Status: RESOLVED FIXED    
Severity: Normal CC: gustavo, pnormand, xan.lopez
Priority: P2 Keywords: Gtk
Version: 528+ (Nightly build)   
Hardware: PC   
OS: Linux   
Attachments:
Description Flags
Patch
mrobinson: review+
Patch updated to also add WebKitEnumTypes.h to the list of public headers mrobinson: review+

Carlos Garcia Campos
Reported 2012-01-19 05:24:46 PST
Only C API public headers are installed.
Attachments
Patch (3.54 KB, patch)
2012-01-19 05:27 PST, Carlos Garcia Campos 		mrobinson: review+
DetailsFormatted DiffDiff
Patch updated to also add WebKitEnumTypes.h to the list of public headers (3.60 KB, patch)
2012-01-19 05:36 PST, Carlos Garcia Campos 		mrobinson: review+
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
Carlos Garcia Campos
Comment 1 2012-01-19 05:27:04 PST
Created attachment 123112 [details] Patch
Carlos Garcia Campos
Comment 2 2012-01-19 05:36:05 PST
Created attachment 123115 [details] Patch updated to also add WebKitEnumTypes.h to the list of public headers
Carlos Garcia Campos
Comment 3 2012-01-19 09:40:44 PST
Committed r105419: <http://trac.webkit.org/changeset/105419>
Note You need to log in before you can comment on or make changes to this bug.