| changeset 10091 | 43c1951a369c |
| parent 10084 | ede64d0782e5 |
| child 10096 | 6cbe69107c18 |
--- a/Admin/page/Makefile Tue Sep 26 18:24:01 2000 +0200 +++ b/Admin/page/Makefile Tue Sep 26 18:27:50 2000 +0200 @@ -56,8 +56,8 @@ @cp -R dist/. .. weblint: - @weblint -x netscape $(MAIN_TARGET) - @weblint -x netscape $(DIST_TARGET) + -weblint -x netscape $(MAIN_TARGET) + -weblint -x netscape $(DIST_TARGET) clean: @rm -rf $(MAIN_TARGET)