Broken links to libstdc++ docs

Once again the links from http://gcc.gnu.org/onlinedocs/ to the libstdc++ docs don't work: http://gcc.gnu.org/onlinedocs/gcc-4.6.4/libstdc++/manual/ http://gcc.gnu.org/onlinedocs/gcc-4.7.3/libstdc++/manual/

gcc-4.7-20130608 is now available

Snapshot gcc-4.7-20130608 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/4.7-20130608/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 4.7 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches