http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57226
morandini at aero dot polimi.it changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #5 from morandini at aero dot polimi.it ---
(In reply to Jonathan Wakely from comment #4)
I've misread your comment #1.
Apologize for the noise.
I'm still convinced that it would be worth mentioning them in the doc.
At the very least because this gdb warning
warning: File "/home/marco/local/gcc-4.8.0/lib64/libstdc++.so.6.0.18-gdb.py"
auto-loading has been declined by your `auto-load safe-path' set to
"$debugdir:$datadir/auto-load".
To enable execution of this file add
add-auto-load-safe-path
/home/marco/local/gcc-4.8.0/lib64/libstdc++.so.6.0.18-gdb.py
could be somewhat cryptic if someone does not know that these pretty printers
are installed by gcc.
Anyway, I'm closing this as invalid.