diff -r 9bd0d6e0c279 -r 9597aa501c7c doc/Makefile.am --- a/doc/Makefile.am Sat Jan 12 23:30:44 2008 +0000 +++ b/doc/Makefile.am Thu Jan 17 11:55:27 2008 +0000 @@ -27,6 +27,11 @@ doc/html: $(MAKE) $(AM_MAKEFLAGS) doc-clean +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 install-data-local: doc/html