--- a/Admin/page/Makefile Tue Sep 26 17:05:20 2000 +0200
+++ b/Admin/page/Makefile Tue Sep 26 17:06:16 2000 +0200
@@ -37,7 +37,7 @@
# ---
# --- begin rules
-all: clean main dist install
+all: clean main dist install weblint
@echo "###"
@echo "### Finished. See main/ and dist/ for the resulting pages."
@echo "###"
@@ -55,6 +55,10 @@
install: dist
@cp -R dist/. ..
+weblint:
+ @weblint -x netscape $(MAIN_TARGET)
+ @weblint -x netscape $(DIST_TARGET)
+
clean:
@rm -rf $(MAIN_TARGET)
@rm -rf $(DIST_TARGET)