equal
deleted
inserted
replaced
53 @cp -R dist/. .. |
53 @cp -R dist/. .. |
54 @mkdir -p ../../main-`cat DISTNAME`/. |
54 @mkdir -p ../../main-`cat DISTNAME`/. |
55 @cp -R main/. ../../main-`cat DISTNAME`/. |
55 @cp -R main/. ../../main-`cat DISTNAME`/. |
56 |
56 |
57 weblint: |
57 weblint: |
58 -weblint -x netscape $(MAIN_TARGET) |
58 -weblint -x netscape -d extension-attribute -e img-size $(MAIN_TARGET) |
59 -weblint -x netscape $(DIST_TARGET) |
59 -weblint -x netscape -d extension-attribute -e img-size $(DIST_TARGET) |
60 |
60 |
61 clean: |
61 clean: |
62 @rm -rf $(MAIN_TARGET) |
62 @rm -rf $(MAIN_TARGET) |
63 @rm -rf $(DIST_TARGET) |
63 @rm -rf $(DIST_TARGET) |
64 @rm -rf $(DOC_CONTENTS_MAIN) |
64 @rm -rf $(DOC_CONTENTS_MAIN) |