: use 'sh'
printcmd=$1;
shift
for name in $*
do
namext=`echo $name | cut -f2 -d"."`
case $namext in
cbl|CBL|cob|COB|c) cat $COBINFDIR/infprthd $name | $printcmd;;
*) cat $name | $printcmd;;
esac
done
