Docs online

[Jose E. Marchesi]

Thanks Pietro.

> The compiler documentation is online at: https://gcc.gnu.org/onlinedocs/ga68/
> PDF version: https://gcc.gnu.org/onlinedocs/ga68.pdf
>
> The compiler internal documentation is online at:
> https://gcc.gnu.org/onlinedocs/ga68-internals/
> PDF version: https://gcc.gnu.org/onlinedocs/ga68-internals.pdf
>
> They are regenerated daily.
>
> I'll send a patch to get them  linked from https://gcc.gnu.org/onlinedocs/
>
> pietro