equal
deleted
inserted
replaced
22 -rm -f doxygen.log |
22 -rm -f doxygen.log |
23 -rm -f $(PNG_IMAGES) |
23 -rm -f $(PNG_IMAGES) |
24 -rm -rf gen-images |
24 -rm -rf gen-images |
25 |
25 |
26 update-external-tags: |
26 update-external-tags: |
27 wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \ |
27 wget -O libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.3/libstdc++.tag && \ |
28 mv libstdc++.tag.tmp libstdc++.tag || \ |
28 mv libstdc++.tag.tmp libstdc++.tag || \ |
29 rm libstdc++.tag.tmp |
29 rm libstdc++.tag.tmp |
30 wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/latest/lemon.tag && \ |
30 wget -O lemon.tag.tmp http://lemon.cs.elte.hu/pub/doc/1.0/lemon.tag && \ |
31 mv lemon.tag.tmp lemon.tag || \ |
31 mv lemon.tag.tmp lemon.tag || \ |
32 rm lemon.tag.tmp |
32 rm lemon.tag.tmp |
33 |
33 |
34 .PHONY: update-external-tags html |
34 .PHONY: update-external-tags html |