[webkit-gtk] WebKitGTK+ 2.23.2 released!

Cadu Bentzen cadubentzen at gmail.com
Fri Jan 11 16:28:33 PST 2019


On Fri, 11 Jan 2019 at 18:32 Eike Rathke <erack at redhat.com> wrote:

> Hi,
> On Tuesday, 2019-01-08 10:20:07 +0100, Carlos Garcia Campos wrote:
> > https://webkitgtk.org/releases/webkitgtk-2.23.2.tar.xz
> Previous releases had Tools/gtk/{generate-gtkdoc,gtkdoc.py}, which were
> moved to Tools/gtkdoc/ but the entire Tools/gtkdoc/ directory is missing
> in the release tarball, the build then breaks with ENABLE_GTKDOC=ON

Unfortunately this bug sneaked in the unstable release :/

The patch to fix it is to be landed upstream at

Best regards,
Carlos Eduardo Ramalho.
*Carlos Eduardo Ramalho*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-gtk/attachments/20190111/61d7eabd/attachment.html>

More information about the webkit-gtk mailing list