upgpkg: gnome-devel-docs 3.8.0-1

Update to version 3.8.0