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.
>> 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").
I noticed "refcard" and "stack_frame" only have gz versions. refcard.pdf.gz is actually only 1000 bytes smaller compressed, maybe simpler just to show it as a PDF? At least it shows in the browser then.
stack_frame.pdf.gz is 7000 bytes smaller. I'm sure the web-browser would download it via http compression anyway.