#! /bin/sh

from=$1
todir=$2
shift
shift
files=$*

echo Installing headers to $todir

for i in $files
do
  cp $from/$i $todir
  chmod 0644 $todir/$i
done
