@@ -29,2 +29,7 @@
update-external-tags:
wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
rm doc/libstdc++.tag.tmp
if WANT_DOC