> I ended up fiddling a bit with permissions and such, but everything > should be in place now and I also committed the web patch on your > behalf.
Thanks! This pleases me a great deal. > Testing the links, there is one thing does does not work, and where > I was not sure how to address it: The first link to the manual, > http://gcc.gnu.org/onlinedocs/gcc-4.6.0/libstdc++/manual/ does not > work. Should be: http://gcc.gnu.org/onlinedocs/gcc-4.6.0/libstdc++/manual/spine.html -benjamin