[build, doc, v3] Support Sun symbol versioning in libstdc++-v3, rev. 2

[Jonathan Wakely]

On 2 July 2010 11:34, Paolo Carlini wrote:
>> Unfortunately, I haven't managed to regenerate
>> doc/html/manual/abi.html and doc/html/manual/configure.html, so I've
>> omitted them.
>>
>> Could someone who's better versed in the magic incantations of XML tools
>> do that for me?

On linux it's just 'make doc-html' but I don't think doc/Makefile
tries very hard to be portable.

> Jon, can you help with this?

Sure, I'll take care of it.