Is there a stand alone gcc man page repo?

[Marc Glisse]

On Sun, 24 Jan 2021, Marc Glisse wrote:

> On Sun, 24 Jan 2021, Peng Yu via Gcc-help wrote:
>
>> I'd like to just download the gcc man pages, but not the source code.
>> Is there a way to do so?
>
> Click on "raw" next to the files you want at 
> https://gcc.gnu.org/git/?p=gcc.git;a=tree;f=gcc/doc;hb=HEAD
> or read the html version at https://gcc.gnu.org/onlinedocs/

Actually, the second one even has a link to 
https://gcc.gnu.org/onlinedocs/docs-sources.tar.gz
and various other formats and versions.

-- 
Marc Glisse