tuned;
authorwenzelm
Tue Sep 26 18:27:50 2000 +0200 (2000-09-26)
changeset 1009143c1951a369c
parent 10090 36d1218b58f4
child 10092 4295180d6bab
tuned;
Admin/page/Makefile
     1.1 --- a/Admin/page/Makefile	Tue Sep 26 18:24:01 2000 +0200
     1.2 +++ b/Admin/page/Makefile	Tue Sep 26 18:27:50 2000 +0200
     1.3 @@ -56,8 +56,8 @@
     1.4  	@cp -R dist/. ..
     1.5  
     1.6  weblint:
     1.7 -	@weblint -x netscape $(MAIN_TARGET)
     1.8 -	@weblint -x netscape $(DIST_TARGET)
     1.9 +	-weblint -x netscape $(MAIN_TARGET)
    1.10 +	-weblint -x netscape $(DIST_TARGET)
    1.11  
    1.12  clean: 
    1.13  	@rm -rf $(MAIN_TARGET)