#!/bin/csh

foreach d (kernel pipes processors sophya)
  echo ""
  echo "****" $d
  foreach f (`cat files_$d`)
   echo $f
   cp -p $f $d/$f
  end
end