christophe.ja...@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-h...@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