@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"