#!/bin/sh -f

for f in $* ; do
  name=`basename $f`
  echo "Convert $f" 1>&2
  awk '{ print $0"\015"; }' $f >t$$; mv t$$ $f
done

