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:
----------------------------------------------------------
--- 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
