Is this for the manual, or web pages only? Note that that gdb manual
url above is a pointer into the docs of the current development
sources. At least "23.2.2.6", "SEC260" and "24" are quite volatile.
Of course, "GDB 7.0 will include" will sound weird shortly too. :-)
Something like this would be more future proof, IMHO:
Starting with version 7.0, GDB includes support for writing
pretty-printers in Python. Pretty printers for libstdc++ are
distributed with gcc starting from version 4.5.0. The most up-to-date
version of these printers is always found in libstdc++ svn repository.
For information on enabling these printers, and for other GDB STL
support options: please see
<ulink url="http://sourceware.org/gdb/wiki/STLSupport"> "GDB Support
for STL"</ulink> in the GDB wiki. Additionally, in-depth documentation
and discussion of the pretty printing feature can be found in
"Pretty Printing"" node in the GDB manual. You can find online
versions of the GDB user manual in GDB's homepage, at
<ulink url="http://sourceware.org/gdb/">GDB: The GNU Project Debugger</ulink>."
(untested, written in email client, yadda, yadda).