for i in *.ML *.thy *.html do echo $i sed -f sedscript $i >new/$i cmp $i new/$i && rm new/$i && echo "no change" || (wc $i new/$i && cp -p $i old) done