**default**: (cd tools/htdocs; $(MAKE))