RESOLVED FIXED 109420
[GTK] Don't generate documentation if building neither WebKit1 nor WebKit2 
https://bugs.webkit.org/show_bug.cgi?id=109420
Summary [GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
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.