GCC documentation in .info

[Ian Lance Taylor]

christophe.jarry@ouvaton.org writes:

> I browsed your html documentation at http://gcc.gnu.org/onlinedocs/
> and would like to know if there is a way to obtain GCC documentation
> in .info format from your website, as is proposed by almost all other
> software projects from GNU (see
> http://www.gnu.org/software/gawk/manual/ for example).

This message would be more appropriate for the mailing list
gcc-help@gcc.gnu.org.  Please take any followups to gcc-help.
Thanks.

The gcc .info files are not currently distributed separately.  They
are included if you download a gcc release.

Ian