[[PageOutline]] The WebKit/Gtk+ port used to be named WebKit/Gdk. That was a historical mistake and the Gtk+ library should be used where appropriate. Please see BuildingGtk for more information on the WebKit/Gtk+ port.