http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57226
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- You install GCC and the printers get installed alongside them, and when gdb loads libstdc++.so.6.0.16 it automatically loads libstdc++.so.6.0.16-gdb.py ... what more do you need to know? What needs to be documented?
