gccbrig binary: no-manual-page
