On Tue, Mar 13, 2018 at 12:37 PM, Michael Catanzaro
<mcatanz...@posteo.net> wrote:
Another option is to locally hack the version number in WebKit's
pkg-config file, since Yelp does not actually need a newer version of
WebKit in order to build successfully. That would probably be easiest.
We really should figure out why gtk-doc is failing, though.
Michael
Kalev has just done a release for yelp. Thanks Kalev!
_______________________________________________
release-team@gnome.org
https://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.
