diff --git a/documentation/Makefile b/documentation/Makefile
index 0218211313..de345c1596 100644
--- a/documentation/Makefile
+++ b/documentation/Makefile
@@ -308,4 +308,4 @@ publish:
 	fi
 
 clean:
-	rm -f $(MANUALS)
+	rm -f $(MANUALS); rm $(DOC)/$(DOC).*tgz;