Manpages of src:spice-gtk in Debian jessie