add a 'check' target for jenkins

[mkws-moved-to-github.git] / Makefile

diff --git a/Makefile b/Makefile
index 4fe1fe5..0c08188 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,5 +3,10 @@
 **default**:
        (cd tools/htdocs; $(MAKE))
 
+clean distclean all:
+       ${MAKE} -C./tools/htdocs $@
+
+check: distclean all
+
 help:
        @echo "make [ all | clean ]"