Bug 109420 - [GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
Summary: [GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: New Bugs (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Zan Dobersek
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-02-11 05:35 PST by Zan Dobersek
Modified: 2013-02-11 07:07 PST (History)
4 users (show)

See Also:


Attachments
Patch (1.35 KB, patch)
2013-02-11 05:40 PST, Zan Dobersek
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Zan Dobersek 2013-02-11 05:35:03 PST
[GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
Comment 1 Zan Dobersek 2013-02-11 05:40:51 PST
Created attachment 187551 [details]
Patch
Comment 2 Zan Dobersek 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.
Comment 3 Zan Dobersek 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>
Comment 4 Zan Dobersek 2013-02-11 07:07:04 PST
All reviewed patches have been landed.  Closing bug.