equal
deleted
inserted
replaced
|
1 LIBSTDCXX_VERSION = @LIBSTDCXX_VERSION@ |
|
2 |
1 EPS_IMAGES18 = |
3 EPS_IMAGES18 = |
2 |
4 |
3 EPS_IMAGES = \ |
5 EPS_IMAGES = \ |
4 $(EPS_IMAGES18) |
6 $(EPS_IMAGES18) |
5 |
7 |
34 -rm -f $(PNG_IMAGES) |
36 -rm -f $(PNG_IMAGES) |
35 -rm -rf gen-images |
37 -rm -rf gen-images |
36 -rm -rf $(DEMOS) |
38 -rm -rf $(DEMOS) |
37 |
39 |
38 update-external-tags: |
40 update-external-tags: |
39 wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \ |
41 wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-$(LIBSTDCXX_VERSION)/libstdc++.tag && \ |
40 mv libstdc++.tag.tmp libstdc++.tag || \ |
42 mv libstdc++.tag.tmp libstdc++.tag || \ |
41 rm libstdc++.tag.tmp |
43 rm libstdc++.tag.tmp |
42 wget -O lemon.tag.tmp @make_lemon_doc_prefix@/lemon.tag && \ |
44 wget -O lemon.tag.tmp @make_lemon_doc_prefix@/lemon.tag && \ |
43 mv lemon.tag.tmp lemon.tag || \ |
45 mv lemon.tag.tmp lemon.tag || \ |
44 rm lemon.tag.tmp |
46 rm lemon.tag.tmp |