#!/bin/csh
# usage: cover files
echo '================================================================='
foreach file ($argv[1-])
	echo $file
	echo '================================================================='
	grep "#####" -A5 -B5 $file
	echo '================================================================='
	end
