#! /bin/csh -f
#
foreach i ($argv) 
  echo "moving $i:r.cc to $i:r.c"
  mv $i:r.cc  $i:r.c
end

