**default**:
	make -C ../tools/htdocs

clean:
	make -C ../tools/htdocs clean