diff --git a/src/Makefile b/src/Makefile index 7d3f85f4021db0308381dc08b957796ce02003fd..ac0a89deae9433ae0fcfa483a34b4379f3c33a96 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,20 +1,16 @@ -# Minimal makefile for Sphinx documentation -# - -# You can set these variables from the command line. SPHINXOPTS = SPHINXBUILD = sphinx-build SPHINXPROJ = Test SOURCEDIR = source BUILDDIR = build -# Put it first so that "make" without argument is like "make help". help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) -.PHONY: help Makefile +.PHONY: help Makefile clean -# Catch-all target: route all unknown targets to Sphinx using the new -# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile - @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) \ No newline at end of file + @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + +clean: + rm -rf build