On Mon, Mar 12, 2018 at 8:29 PM, Michael Catanzaro <mcatanz...@posteo.net> wrote:
(You could, for example, add WEBKIT_CHECK_VERSION conditionals to build that code only with older WebKit.)

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

_______________________________________________
release-team@gnome.org
https://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.

Reply via email to