Makefile.in
changeset 34 eda742a0b1b4
parent 17 0b3b26cd1cea
child 35 f7a4e8024952
     1.1 --- a/Makefile.in	Mon Feb 15 09:39:52 2010 +0100
     1.2 +++ b/Makefile.in	Mon Feb 15 10:21:17 2010 +0100
     1.3 @@ -39,7 +39,7 @@
     1.4  	wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \
     1.5  	mv libstdc++.tag.tmp libstdc++.tag || \
     1.6  	rm libstdc++.tag.tmp
     1.7 -	wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/1.0/lemon.tag && \
     1.8 +	wget -O lemon.tag.tmp @make_lemon_doc_prefix@/lemon.tag && \
     1.9  	mv lemon.tag.tmp lemon.tag || \
    1.10  	rm lemon.tag.tmp
    1.11