#! /bin/csh -f

while ( $#argv > 0 )
    echo $1
#    echo "g/@/s/tango-support@/support@/g\nw" | ed -s $1
#    echo "g/export\/project\/K136/s/export\/project\/K136/project\/K136/g\nw" | ed -s $1
    mv $1 ${1}.txt
    shift
end
