DOKK / manpages / debian 11 / gdc-10-sh4-linux-gnu