diff -r d93c034d3c98 -r 37e0966e43b6 scripts/update-libstd-tag
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/update-libstd-tag	Fri Oct 13 15:10:50 2006 +0000
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+cd ${0%update-libstd-tag}../doc
+mv libstdc++.tag libstdc++.tag.old
+wget http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag &&
+rm libstdc++.tag.old || mv libstdc++.tag.old libstdc++.tag
+