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:
         fi
 
 clean:
-        rm -f $(MANUALS)
+        rm -rf $(MANUALS); rm $(DOC)/$(DOC).tgz;