Changeset 142467 in webkit


Ignore:
Timestamp:
Feb 11, 2013 7:05:29 AM (11 years ago)
Author:
zandobersek@gmail.com
Message:

[GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
https://bugs.webkit.org/show_bug.cgi?id=109420

Reviewed by Philippe Normand.

Don't generate the GTK documentation if neither of the WebKit1 and WebKit2
layers was built. This just results in unnecessary errors being spewed out
by the gtkdoc utilities.

  • Scripts/webkitdirs.pm:

(buildAutotoolsProject):

Location:
trunk/Tools
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/Tools/ChangeLog

    r142455 r142467  
     12013-02-11  Zan Dobersek  <zdobersek@igalia.com>
     2
     3        [GTK] Don't generate documentation if building neither WebKit1 nor WebKit2
     4        https://bugs.webkit.org/show_bug.cgi?id=109420
     5
     6        Reviewed by Philippe Normand.
     7
     8        Don't generate the GTK documentation if neither of the WebKit1 and WebKit2
     9        layers was built. This just results in unnecessary errors being spewed out
     10        by the gtkdoc utilities.
     11
     12        * Scripts/webkitdirs.pm:
     13        (buildAutotoolsProject):
     14
    1152013-02-11  Antoine Quint  <graouts@apple.com>
    216
  • trunk/Tools/Scripts/webkitdirs.pm

    r142373 r142467  
    21402140    chdir ".." or die;
    21412141
    2142     if ($project eq 'WebKit' && !isCrossCompilation()) {
     2142    if ($project eq 'WebKit' && !isCrossCompilation() && !($noWebKit1 && $noWebKit2)) {
    21432143        my @docGenerationOptions = ("$sourceDir/Tools/gtk/generate-gtkdoc", "--skip-html");
    21442144        push(@docGenerationOptions, productDir());
Note: See TracChangeset for help on using the changeset viewer.