Fix catman to produce zipped cats, like man does.

In other (old) case we have both kind of cats at once.

1 files changed, 7 insertions, 5 deletions

diff --git a/gnu/usr.bin/man/catman/catman.sh b/gnu/usr.bin/man/catman/catman.sh
index e5d23e1..456cb57 100644
--- a/gnu/usr.bin/man/catman/catman.sh
+++ b/gnu/usr.bin/man/catman/catman.sh
@@ -7,17 +7,19 @@ MANDIR=/usr/share/man
 formatman()
 {
 	suffix=`echo $1 | sed -e 's/.*\\.//'`
-	echo "	"$1 "->" $*
 	(cd cat$section; rm -f $*)
 	if [ ".$suffix" = "%compext%" ]; then
-		%zcat% man$section/$1 | nroff -man | %compress% > cat$section/$1
+		adds=
+		%zcat% man$section/$1 | nroff -man | %compress% > cat$section/$1$adds
 	else
-		nroff -man < man$section/$1 > cat$section/$1
+		adds=%compext%
+		nroff -man < man$section/$1 | %compress% > cat$section/$1$adds
 	fi
-	catfile=$1; shift
+	echo "  "$* "->" $1$adds
+	catfile=$1$adds; shift
 	while [ $# -gt 0 ]
 	do
-		ln cat$section/$catfile cat$section/$1
+		ln cat$section/$catfile cat$section/$1$adds
 		shift
 	done
 }