#!/bin/sh name=$1 dir=`echo $name | sed -e "s/\/[^\/]*$/\//"` base1=`basename $name .3` base2=`basename $base1 .4` newname=`echo $dir$base2` echo $newname nroff -man $name | uniq > $newname rm $name