#!/bin/rc
{ if (~ $1 *.[0-9]*) {
	nroff -man $*
} else {
	PAGER='cat'
	exec /usr/bin/man $*
}  } | bold | perl -pe 's/\010.//g;' | wcat
