Broken documentation URLs

[Marco Barisione]

Hello,

Recently, the GDB online documentation was moved from https://sourceware.org/gdb/onlinedocs/gdb/ <https://sourceware.org/gdb/onlinedocs/gdb/> to https://sourceware.org/gdb/current/onlinedocs/gdb.html/ <https://sourceware.org/gdb/current/onlinedocs/gdb.html/>. As the old address worked for ages (at least a decade!), there are a lot of links on the Internet pointing to some pages under the old URL, which are now broken. The search engines I tested by looking for “gdb.Value” (Google, Kagi and DuckDuckGo) haven’t updated their links either.

Is it possible to set up a redirect?

Thank you!

-- 
Marco Barisione