#!/bin/sh
for file in $*
do
	echo Copyrighting $file
	rm -f $file.bak
	cp $file $file.bak
	if [ -f $file.bak ]; then
		rm -f /tmp/copy_tmp
		cat /mit/galateadev/etc/shortcopy.h > /tmp/copy_tmp
		cat $file >> /tmp/copy_tmp
		mv /tmp/copy_tmp $file
	fi
done