@echo " make doc generate the documentation"
@echo " make view_doc open the documentation index"
@echo " make clean remove the generated files"
@echo " make doc generate the documentation"
@echo " make view_doc open the documentation index"
@echo " make clean remove the generated files"