* gdb.texinfo (Set Catchpoints): Remove obsolete text.