#!/bin/sh 
while [ $# -gt 0 ]
 do 
  rm -f $1
  cp ../Tk/$1 .
  chmod +w $1
  patch < ../../pTk/mTk/patch/$1 
  shift
 done
 
