Re: gdb online manuals

> Is the gdb version 9 manual online? I could only find the latest development version online from this page https://www.gnu.org/software/gdb/documentation/

We are aware that the documentation page is a bit confusing and that
it could use some love but unfortunately, it's tied to scripts
that run nightly as well as the release process, and we're lacking
resources to tackle that.

In the meantime, the page you reference above has a line that points
you to the documentation of the latest release:
https://sourceware.org/gdb/download/onlinedocs/

Incidentally, that page allows you to chose which you want to look at
(at the top, you see links to "most recent branch" and "current").

-- 
Joel