#! /bin/sh
if [ ! "$1" ] ; then
        echo `basename $0` file ...
        echo '  convert' filenames from dos to unix
        exit 1
fi

while [ "$1" ] ; do
        TMP=$1.$$
        if tr -d '\r' <"$1" >"$TMP" ; then
                cp -a -f "$TMP" "$1"
        fi
        rm -f "$TMP"
        shift
done