libstdc++: Fix outdated docs about demangling exception messages
authorJonathan Wakely <jwakely@redhat.com>
Tue, 4 Apr 2023 11:04:14 +0000 (12:04 +0100)
committerJonathan Wakely <jwakely@redhat.com>
Tue, 4 Apr 2023 11:15:59 +0000 (12:15 +0100)
commit688d126b69215db29774c249b052e52d765782b3
treea9772a5b99587e8adb166afaf5c988dc92e7a930
parent34574064412eca1af8494d240e3627c02ecaf823
libstdc++: Fix outdated docs about demangling exception messages

The string returned by std::bad_exception::what() hasn't been a mangled
name since PR libstdc++/14493 was fixed for GCC 4.2.0, so remove the
docs showing how to demangle it.

libstdc++-v3/ChangeLog:

* doc/xml/manual/extensions.xml: Remove std::bad_exception from
example program.
* doc/html/manual/ext_demangling.html: Regenerate.
libstdc++-v3/doc/html/manual/ext_demangling.html
libstdc++-v3/doc/xml/manual/extensions.xml