| changeset 10091 | 43c1951a369c |
| parent 10084 | ede64d0782e5 |
| child 10096 | 6cbe69107c18 |
| 10090:36d1218b58f4 | 10091:43c1951a369c |
|---|---|
54 |
54 |
55 install: dist |
55 install: dist |
56 @cp -R dist/. .. |
56 @cp -R dist/. .. |
57 |
57 |
58 weblint: |
58 weblint: |
59 @weblint -x netscape $(MAIN_TARGET) |
59 -weblint -x netscape $(MAIN_TARGET) |
60 @weblint -x netscape $(DIST_TARGET) |
60 -weblint -x netscape $(DIST_TARGET) |
61 |
61 |
62 clean: |
62 clean: |
63 @rm -rf $(MAIN_TARGET) |
63 @rm -rf $(MAIN_TARGET) |
64 @rm -rf $(DIST_TARGET) |
64 @rm -rf $(DIST_TARGET) |
65 @rm -rf $(DOC_CONTENTS_MAIN) |
65 @rm -rf $(DOC_CONTENTS_MAIN) |