diff options
| -rw-r--r-- | Documentation/Makefile.sphinx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 0ecebbe11e3e..2357f186cf1b 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: |