#!/bin/csh -f

if ($#argv == 0) then
	echo "usage: $0 dest_dir name list"
	exit 1
endif

set dir = $argv[1]
shift

while ($#argv)
	if (-d $argv[1]) then
		echo "$argv[1] is directory, skipped."
	else
		echo f2rf -u $argv[1] \> $dir/$argv[1]
		f2rf -u $argv[1] > $dir/$argv[1] ; timecopy $argv[1] $dir/$argv[1]
	endif
	shift
end
