Hello, The GDB manual doesn't seem to have a mono version anymore, and the URL of its node version has changed. A diff is attached.
Best, Thérèse
--- htmlxref.cnf +++ htmlxref.1.cnf @@ -365,8 +365,6 @@ GDB = https://sourceware.org/gdb/current/onlinedocs -gdb mono ${GDB}/gdb.html -gdb node ${GDB}/gdb/ - stabs mono ${GDB}/stabs.html - stabs node ${GDB}/stabs/ +gdb node ${GDB}/gdb.html/ + stabs node ${GDB}/stabs.html/ GDBM = http://www.gnu.org.ua/software/gdbm/manual
