broken current onlinedocs

[Joel Brobecker]

> hmm, i can't tell if this is a new thing, but the gdb doc links are broken.
> i'm guessing it's new as this link has been the same since 2009 ?
> 
> https://sourceware.org/gdb/documentation/
>   -> Online GDB manuals: GDB User Manual
>      https://sourceware.org/gdb/current/onlinedocs/gdb/
>      -> 404
> 
> but https://sourceware.org/gdb/current/onlinedocs/ seems to be correct.

I took a look, and this should be fixed, now.

-- 
Joel