2.25.1.3: * Change public documentation location to library.gnome.org in the pkg-config files as well. (Daniel Elstner)