gcc-hppa64-linux-gnu binary: binary-without-manpage
