diff -r eda742a0b1b4 -r f7a4e8024952 Makefile.in
--- a/Makefile.in	Mon Feb 15 10:21:17 2010 +0100
+++ b/Makefile.in	Wed Feb 17 17:42:19 2010 +0000
@@ -1,3 +1,5 @@
+LIBSTDCXX_VERSION = @LIBSTDCXX_VERSION@
+
 EPS_IMAGES18 =
 
 EPS_IMAGES = \
@@ -36,7 +38,7 @@
 	-rm -rf $(DEMOS)
 
 update-external-tags:
-	wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \
+	wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-$(LIBSTDCXX_VERSION)/libstdc++.tag && \
 	mv libstdc++.tag.tmp libstdc++.tag || \
 	rm libstdc++.tag.tmp
 	wget -O lemon.tag.tmp @make_lemon_doc_prefix@/lemon.tag && \