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 Eike -- GPG key 0x6A6CD5B765632D3A - 2265 D7F3 A7B0 95CC 3918 630B 6A6C D5B7 6563 2D3A
signature.asc
Description: PGP signature
_______________________________________________ webkit-gtk mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-gtk
