* gdbint.texinfo (CPLUS_MARKER): Remove item.