manual patch (again)

[Paolo Carlini]

On 02/22/2010 09:41 PM, François Dumont wrote:
> Hi
>
>    This is a new patch for some typos in doc, mostly word duplications
>
> 2010-02-22  François Dumont  <francois.cppdevs@free.fr>
>
>        * doc/xml/manual/profile_mode.xml: Minor updates and fixes.
>        * doc/xml/manual/debug_mode.xml: Likewise.
>        * doc/xml/manual/test.xml: Likewise.
Thanks. If nobody beats me, I will apply it later today. However, this
change doesn't look 100% correct to me:

-  As much as we would like to avoid uses of stdlibc++ within our 
+  As much as possible we would like to avoid uses of stdlibc++ within our 
   instrumentation library, containers such as unordered_map are very 

maybe the current English isn't beautiful, but we don't want to change
the meaning. Let's leave that sentence alone for now...

Paolo.