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;