
include ../../makefile.inc

doc :
	@echo "Nothing to do"

install :
	mkdir -p $(INSTALL_DOC_HTML)/en/"Escort Tools Suite"
	cp index.html $(INSTALL_DOC_HTML)/en/"Escort Tools Suite"/index.html

uninstall :
	rm -f $(INSTALL_DOC_HTML)/en/"Escort Tools Suite"/index.html
	rmdir $(INSTALL_DOC_HTML)/en/"Escort Tools Suite"


