gcc documentation on http://gcc.gnu.org

[Maksim]

Hello

I'd like to thank you for making the gcc website a great resource for all
things GCC.  One minor suggestion, however: in the later versions of GCC
(beginning with docs of 3.1.1 on the website), the texinfo documentation
on the compiler is split into two parts.  There is gcc.texi and
gccint.texi.  Your website has an HTML-ized version of gcc.texi, but not
gccint.texi.  This wasn't an issue for GCC documentation versions 3.0.4
and earlier because it seems like both were contained in gcc.texi.  I'm
sure some people would find it helpful (at least one person would!) if you
posted an HTML-ized version of gccint.texi for the latest version of the
compiler.

Thanks!

Maksim