From dd6b87f6c52deb35bcf2c2db18483e5c67860d4c Mon Sep 17 00:00:00 2001 From: Marcin Kuzminski Date: Tue, 6 Dec 2016 20:36:38 +0100 Subject: [PATCH] make: updated docs make commands. --- Makefile | 3 +++ docs/Makefile | 6 ++++++ 2 files changed, 9 insertions(+) diff --git a/Makefile b/Makefile index 6152e473..f395f870 100644 --- 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 index 82bfe6fb..4e623415 100644 --- 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