allow to run index-mike.html on a web server
[mkws-moved-to-github.git] / Makefile
1 **default**:
2         (cd tools/htdocs; $(MAKE))