[Webkit-unassigned] [Bug 78134] [GTK] Webkit docs installed even with --disable-gtk-doc

[bugzilla-daemon at webkit.org]

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


Alberto Garcia <berto at igalia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
                 CC|                            |berto at igalia.com




--- Comment #2 from Alberto Garcia <berto at igalia.com>  2013-09-13 08:30:55 PST ---
This seems to be fixed now, please reopen if you think it's still relevant.

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