--- a/docsrc2man.sh	2025-12-22 22:07:24.112717422 +0100
+++ b/docsrc2man.sh	2025-12-22 22:09:45.908476195 +0100
@@ -63,7 +63,6 @@
 function man_gz () {
 	if [ $PRINT_DEPS -eq 0 ]; then
 		rm "$DOCSRC"/$1/*~ 2>/dev/null
-		gzip -f man/$1/*.[0-9]
 	fi
 }
 
@@ -87,9 +86,9 @@
 		mkdir -p doc/$LANGUAGE
 		rm doc/$LANGUAGE/* 2>/dev/null
 
-		for i in man/$LANGUAGE/*.gz; do
+		for i in man/$LANGUAGE/*; do
 			echo -ne "create doc file from man page: ($LANGUAGE) $(basename "$i")..."
-			zcat "$i" | preconv | nroff -man -c | col -xbp > "doc/$LANGUAGE/$(basename "$i" ".gz").txt"
+			cat "$i" | preconv | nroff -man -c | col -xbp > "doc/$LANGUAGE/$(basename "$i").txt"
 			echo " done"
 		done