[Webkit-unassigned] [Bug 128376] [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





--- Comment #5 from Carlos Garcia Campos <cgarcia at igalia.com>  2014-02-07 10:15:00 PST ---
(In reply to comment #3)
> This is by design. Probably we just want to disable it temporarily until the bots are fixed.

I think we should respect the option. I'm fine with the bots not passing that option, but if I run build-webkit --disable-gtk-doc I don't want the doc to be generated.

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