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