Hello,
The stabs manual has moved to
https://sourceware.org/gdb/download/onlinedocs/stabs.html/
(see the attached diff).
Thanks in advance for updating this link.
Best regards,
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
