#!/bin/sh
#	gh pattern
# This searches for the pattern in the files in ~/misc/`hostname`/HdrFiles,
# which should have been created by FindHdrFiles.
#
F=/home/jc/h.list
test -f $F || FindHdrFiles
cat $F |xargs grep "$1" /dev/null