download gcc manual... html format

[Jim Wilson]

Abhijeet Mhatre wrote:
> I downloaded gcc source code and went to gcc/doc and did a
> ./install.texi2html but that only producd the installation docment.

I did say it was an example script, but maybe I wasn't clear enough 
about that.  Try replacing "install.texi" with "gcc.texi" to get the gcc 
manual.  Likewise for the other manuals.

Another alternative is wget.  Try this
   wget --convert-links -r -np http://gcc.gnu.org/onlinedocs/gcc-3.3/gcc/

Jim