diff options
-rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 6cac5caeaa..6775120fc7 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
@@ -309,4 +309,4 @@ publish: | |||
309 | fi | 309 | fi |
310 | 310 | ||
311 | clean: | 311 | clean: |
312 | rm -f $(MANUALS) | 312 | rm -rf $(MANUALS); rm $(DOC)/$(DOC).tgz; |