#	usage: copyto dir file ...
#	copy argument files to 'dir', making sure that at least
#	two arguments exist, that 'dir' is a directory, and that
#	each additional argument is a readable file
if test $# -lt 2 
then	echo "$0: usage: copyto directory file ..."
elif test ! -d $1 
then	echo "$0: $1 is not a directory";
else	dir=$1; shift
	for eachfile
	do	cp $eachfile $dir
	done
fi
