Manpages of gdc-7-sh4-linux-gnu in Debian unstable