Bug 109420

Summary: [GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
Product: WebKit Reporter: Zan Dobersek <zan>
Component: New BugsAssignee: Zan Dobersek <zan>
Status: RESOLVED FIXED    
Severity: Normal CC: dbates, mrobinson, pnormand, webkit.review.bot
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
Patch none

Zan Dobersek
Reported 2013-02-11 05:35:03 PST
[GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
Attachments
Patch (1.35 KB, patch)
2013-02-11 05:40 PST, Zan Dobersek 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Zan Dobersek
Comment 1 2013-02-11 05:40:51 PST
Created attachment 187551 [details] Patch
Zan Dobersek
Comment 2 2013-02-11 05:50:32 PST
Admittedly there's not much use of building with both WebKit1 and WebKit2 disabled at the moment, but given that it's possible I'd say it makes sense to avoid document generation in case of this configuration.
Zan Dobersek
Comment 3 2013-02-11 07:06:58 PST
Comment on attachment 187551 [details] Patch Clearing flags on attachment: 187551 Committed r142467: <http://trac.webkit.org/changeset/142467>
Zan Dobersek
Comment 4 2013-02-11 07:07:04 PST
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.