diff --git a/docs/Makefile b/docs/Makefile index c03d22370..a9d8abda3 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -49,7 +49,7 @@ help: @echo " coverage to run coverage check of the documentation (if enabled)" clean: - rm -rf $(BUILDDIR)/* + rm -rf $(BUILDDIR) html: $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html