#!/bin/csh -f
# created zbinden 4/97
# update a set of files
set namePattern = "?12*p.img_*.wrl"

foreach file ( $namePattern )
  set tail = $file:t  
  set root = $tail:r
  set name = `echo $tail | cut -c2-27`
  echo doing $file $name
  updateMultiTexture.pl $file 'i'$name > updated/$file
end


#  set name = `echo $tail | cut -c1-27`
