Manpages of gdc-6-sh4-linux-gnu in Debian testing