#! /bin/csh -f 
# Translate filenames to lower case,
# since Windows programs always seem to want to make them upper case. 

foreach fil ( $* )
  set newfil = `echo $fil | tr '[A-Z]' '[a-z]' `
  if ($newfil != $fil) then
    mv $fil $newfil
  endif
end
