diff --git a/Makefile b/Makefile --- a/Makefile +++ b/Makefile @@ -13,6 +13,9 @@ docs: docs-clean: (cd docs; make clean) +docs-cleanup: + (cd docs; make cleanup) + ci-docs: docs; diff --git a/docs/Makefile b/docs/Makefile --- a/docs/Makefile +++ b/docs/Makefile @@ -49,6 +49,12 @@ help: clean: rm -rf $(BUILDDIR)/* +cleanup: + @echo "cleaning build dir" + rm -rf $(BUILDDIR)/* + @echo "cleaning result symlink" + rm -v result + html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo