Re: Yelp Release
- From: Michael Catanzaro <mcatanzaro posteo net>
- To: Shaun McCance <shaunm gnome org>
- Cc: Release Team <release-team gnome org>
- Subject: Re: Yelp Release
- Date: Tue, 13 Mar 2018 12:37:18 -0500
On Mon, Mar 12, 2018 at 8:29 PM, Michael Catanzaro
<mcatanzaro 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
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
