gcc-alpha-linux-gnu binary: no-manual-page
