make: updated docs make commands.

Makefile

@@ -13,6 +13,9 @@ docs:
 docs-clean:
 	(cd docs; make clean)
 
+docs-cleanup:
+	(cd docs; make cleanup)
+
 ci-docs: docs;
 
 

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