#!/bin/sh
# vletter_set_style
# cat $a defines the letter specification
a=$1
shift 1
for file do
#        preserve the protection mode file
cp $file /tmp/$$.tmp 
cat $a /tmp/$$.tmp | 
$bin_vhdl_tools/vhdl_letter_set_style.e > $file 
done
rm /tmp/$$.tmp