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