#! /bin/csh -f -e

# Copies files $2, $3, ... in export directory $1, 
# creating it if necessary

if ( $#argv < 1 ) then
  /bin/echo "usage: $0 <directory> <file>...
endif

set dir = "$1"
set files = ( $argv[2-] )

echo " -- installing in ${dir} --"
/bin/mkdir -p ${dir}
foreach f ( ${files} )
  /bin/echo $f
  set item = ${f:t}
  if ( ( "x$f" == "x." ) || ( "x$f" == "x.." ) ) then
    /bin/echo 'invalid export = "'$f'"'
  else if ( -d $f ) then
    export-files ${dir}/${item} `/bin/echo ${f}/*`
  else
    /bin/cp -p ${f} ${dir}/${item}
  endif
end
echo " -- done with ${dir} --"