Makefile.in
changeset 35 f7a4e8024952
parent 34 eda742a0b1b4
child 40 e1725bb7e821
     1.1 --- a/Makefile.in	Mon Feb 15 10:21:17 2010 +0100
     1.2 +++ b/Makefile.in	Wed Feb 17 17:42:19 2010 +0000
     1.3 @@ -1,3 +1,5 @@
     1.4 +LIBSTDCXX_VERSION = @LIBSTDCXX_VERSION@
     1.5 +
     1.6  EPS_IMAGES18 =
     1.7  
     1.8  EPS_IMAGES = \
     1.9 @@ -36,7 +38,7 @@
    1.10  	-rm -rf $(DEMOS)
    1.11  
    1.12  update-external-tags:
    1.13 -	wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \
    1.14 +	wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-$(LIBSTDCXX_VERSION)/libstdc++.tag && \
    1.15  	mv libstdc++.tag.tmp libstdc++.tag || \
    1.16  	rm libstdc++.tag.tmp
    1.17  	wget -O lemon.tag.tmp @make_lemon_doc_prefix@/lemon.tag && \