[Webkit-unassigned] [Bug 128376] New: [GTK] build-webkit script always generate-gtk-doc even if '--disable-gtk-doc' param is passed

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=128376

           Summary: [GTK] build-webkit script always generate-gtk-doc even
                    if '--disable-gtk-doc' param is passed
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: Unspecified
        OS/Version: Unspecified
            Status: NEW
          Severity: Minor
          Priority: P2
         Component: WebKit Gtk
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: dpino at igalia.com


How to reproduce:

* Execute script Tools/Script/build-webkit --disable-gtk-doc.

Expected result: The script Tools/gtk/generate-gtkdoc should not be called.
Actual result: The script Tools/gtk/generate-gtkdoc is called.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.