#!/bin/sh
# vscroll_set_style
# first argument $a defines the scroll specification
a=$1
shift 1
for file do
cat $a > /tmp/$$.tmp
echo "$file" >> /tmp/$$.tmp
cat /tmp/$$.tmp - | $bin_vhdl_tools/vhdl_scroll_set_style.e 
echo " "
done
rm /tmp/$$.tmp