#!/bin/csh -f
set file=$1
shift
he -batch $file -nobackup << EOF
info -all -group $*
close
quit
EOF
echo ""
