diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 0ecebbe11e..2357f186cf 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx @@ -46,7 +46,7 @@ help: .PHONY: clean clean: - rm -rf $(BUILDDIR)/* + rm -rf $(BUILDDIR) .PHONY: html html: