equal
deleted
inserted
replaced
37 |
37 |
38 update-external-tags: |
38 update-external-tags: |
39 wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \ |
39 wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \ |
40 mv libstdc++.tag.tmp libstdc++.tag || \ |
40 mv libstdc++.tag.tmp libstdc++.tag || \ |
41 rm libstdc++.tag.tmp |
41 rm libstdc++.tag.tmp |
42 wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/1.0/lemon.tag && \ |
42 wget -O lemon.tag.tmp @make_lemon_doc_prefix@/lemon.tag && \ |
43 mv lemon.tag.tmp lemon.tag || \ |
43 mv lemon.tag.tmp lemon.tag || \ |
44 rm lemon.tag.tmp |
44 rm lemon.tag.tmp |
45 |
45 |
46 |
46 |
47 $(DEMOS): demo/build/%: demo/%.cc |
47 $(DEMOS): demo/build/%: demo/%.cc |