--- a/docsrc2man.sh	2021-02-25 22:14:42.139999981 +0100
+++ b/docsrc2man.sh	2021-02-25 22:16:14.079999983 +0100
@@ -37,8 +37,6 @@
 	done
 
 	rm "$DOCSRC"/$LANGUAGE/*~ 2>/dev/null
-	gzip -f man/$LANGUAGE/*.[0-9]
-
 done
 
 echo
