CVS: cvs.openbsd.org: ports

[Antoine Jacoutot]

CVSROOT:        /cvs
Module name:    ports
Changes by:     ajacou...@cvs.openbsd.org       2014/10/05 10:14:17

Modified files:
        x11/gnome/devhelp: Makefile 

Log message:
Force webkitgtk3 until webkitgtk4 is proven to be in good shape.