summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Documentation/Makefile.sphinx2
1 files changed, 1 insertions, 1 deletions
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: