fluffos/docs/archive/convert.sh
2018-12-30 17:03:14 -08:00

9 lines
190 B
Bash
Executable file

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