On 5 August 2017 at 21:58, Gerald Pfeifer wrote: > On Fri, 4 Aug 2017, Jonathan Wakely wrote: >> Thanks for letting us know, I've fixed the link. > > Thanks, Jonathan. > > https://gcc.gnu.org/onlinedocs/gcc-7.1.0/libstdc++/manual/manual/profile_mode.html > ^^^^^^^^^^^^^ > > Should we do something about "manual/manual" in the above, though? > > Gerald
It's been like that in every release for years. I'm not worried about it.