On Sun, 24 Jan 2021, Peng Yu via Gcc-help wrote:
But I need manpages, instead of the source nor HTML pages.
Ah, since you we talking about a repo, I misunderstood. You could download the gcc-doc package for ubuntu, or a similar package for whatever distribution you like. Even if you are on a different system, you should still be able to extract the files.
-- Marc Glisse