libstdc++: Spell command-line option with a dash libstdc++-v3: * doc/xml/manual/abi.xml: Spell command-line option with a dash. Simplify language. * doc/html/manual/abi.html: Regenerate.