#!/bin/sh

do_gzip() {
	while read input; do
		if test -f $input.gz; then
			#echo "Remove old file $input.gz"
			rm -f $input.gz
		fi
		if test -L $input; then
			link=`ls -l $input | awk '{ print $11 }'`
			rm -f $input
			ln -sf $link.gz $input.gz
		else
			gzip -9 $input
		fi
		ls $input.gz
	done
	return
}

for i in /usr/info /usr/man/man? /usr/X11R6/man /usr/X11R6/info ; do
	test -d $i || continue
	find $i \! -name ".*.gz" \! -name "*.gz" \
		\! -name dir \! -name dir.info \! -type d | do_gzip
done
