#!/bin/sh
# Grep through all manuals
manual=$1
shift
find /usr/share/man -name "*$manual*" | xargs gunzip -c | grep "$@" --color=auto