On Sat, Oct 17, 2026 at 04:09:07PM +0200, Thérèse Godefroy wrote: > Hello, > > The latest version of gdb (18.1) doesn't include the stabs manual. This > doesn't seem to be a mistake, because all files with "stabs" in their > names have been removed from the source code, except one. I think > Texinfo_GNU.cnf should be modified accordingly:
Thanks for the report. Do you know if there are any old or alternative sources for the stabs manual we could link to instead? Do you know if the gdb developers removed this manual on purpose or could it have been by mistake? > > ---------------------------------------------------------- > --- Texinfo_GNU.cnf 2026-10-17 15:56:21.729126034 +0200 > +++ Texinfo_GNU.1.cnf 2026-10-17 15:56:35.437194939 +0200 > @@ -382,7 +382,6 @@ > > GDB = https://sourceware.org/gdb > gdb node ${GDB}/current/onlinedocs/gdb.html/ > - stabs node ${GDB}/download/onlinedocs/stabs.html/ > > GDBM = http://www.gnu.org.ua/software/gdbm/manual > gdbm node ${GDBM}/ > ---------------------------------------------------------- > > Thanks! > Thérèse > --- Texinfo_GNU.cnf 2026-08-23 11:14:49.788458923 +0200 > +++ Texinfo_GNU.1.cnf 2026-08-23 11:12:14.847464420 +0200 > @@ -379,5 +379,5 @@ > GDB = https://sourceware.org/gdb > gdb node ${GDB}/current/onlinedocs/gdb.html/ > - stabs node ${GDB}/onlinedocs/stabs.html/ > + stabs node ${GDB}/download/onlinedocs/stabs.html/ > > GDBM = http://www.gnu.org.ua/software/gdbm/manual
