* gdbint.texinfo (libgdb components): Correct a GDB to GDBN.