libstdc++ documentation missing?

[Paolo Carlini]

Mike Stump wrote:
> On http://gcc.gnu.org/onlinedocs/ there is a link to:
>
>   http://gcc.gnu.org/onlinedocs/libstdc++/documentation.html
>
> which now says, Not Found.
Should be fixed now, thanks for pointing that out. I note there is also 
another dead link, under the
 "Internals Documentation" section, I think it should just go, Benjamin 
probably knows better...

Paolo.