Hi, On Fri, 11 Jan 2019 at 18:32 Eike Rathke <er...@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 https://bugs.webkit.org/show_bug.cgi?id=178900 Best regards, Carlos Eduardo Ramalho. -- *Carlos Eduardo Ramalho*
_______________________________________________ webkit-gtk mailing list webkit-gtk@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-gtk
