Manpages of gnome-split in Debian jessie