#!/bin/sh
#
# NAME
#   grepMan: search for text in pre-formatted man pages
#
# DESCRIPTION
#   Man pages pre-formatted with "nroff -man" have control characters
#   that obscure the text when grep looks for patterns.
#   This script removes control characters before grepping files.

pattern=$1 ; shift

for file in $* ; do
  echo "${file}:"
  col -b < $file | grep $pattern
done