#!/bin/sh

pattern=`printf "\r$"`
bad_files=`find . -name '*.texi' -print | xargs grep -l -e "$pattern"`

echo $bad_files