yelp 3.4.2

[ryandesign (Ryan Carsten Schmidt)]

yelp 3.4.2 is available. Either yelp should be updated to that version, or perhaps a new yelp3 port is needed.

[dbevans (David B. Evans)]

Sorry for having overlooked this Ryan. While it is high time to upgrade the GNOME ports to version 3, I feel very strongly that they need to be updated as a unit rather than one by one in piecemeal fashion. I'm in the process of putting together a 3.8 version now and plan to make it available as an alternate/supplemental ports tree in a separate branch, for testing, before committing directly to the live ports tree. If you or anyone else would like to help (there's plenty to do) just let me know and we can work out a way to collaborate.

[cooljeanius (Eric Gallager)]

or perhaps a new yelp3 port is needed.

I'd prefer this over updating it.

[cooljeanius (Eric Gallager)]

Cc Me!

[gui-dos (Guido Soranzio)]

A pre-built package of webkit-gtk3 by MacPorts' buildbot would ease participation.

Jeremy Huddleston proposed this simple patch some weeks ago:

subport webkit-gtk3 {
    depends_lib-delete \
        port:gtk2

    depends_lib-append \
        port:gtk3

    configure.args-delete \
        --with-gtk=2.0 \
        --disable-webkit2 \

    configure.args-append \
        --with-gtk=3.0 \
        --enable-webkit2 \
}

[dbevans (David B. Evans)]

webkit-gtk3 subport added in r108797.
yelp updated to version 3.10.1 in r113246.