1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/scripts/update-libstd-tag	Fri Oct 13 15:10:50 2006 +0000
     1.3 @@ -0,0 +1,7 @@
     1.4 +#!/bin/bash
     1.5 +
     1.6 +cd ${0%update-libstd-tag}../doc
     1.7 +mv libstdc++.tag libstdc++.tag.old
     1.8 +wget http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag &&
     1.9 +rm libstdc++.tag.old || mv libstdc++.tag.old libstdc++.tag
    1.10 +