| changeset 14582 | f0779f6fa7e8 |
| parent 11239 | be12c6f1ea75 |
| child 15810 | 2c119fed01f0 |
--- a/Admin/page/Makefile Fri Apr 16 09:01:55 2004 +0200 +++ b/Admin/page/Makefile Fri Apr 16 09:27:32 2004 +0200 @@ -55,8 +55,8 @@ @cp -R main/. ../../main-`cat DISTNAME`/. weblint: - -weblint -x netscape $(MAIN_TARGET) - -weblint -x netscape $(DIST_TARGET) + -weblint -x netscape -d extension-attribute -e img-size $(MAIN_TARGET) + -weblint -x netscape -d extension-attribute -e img-size $(DIST_TARGET) clean: @rm -rf $(MAIN_TARGET)