Examples cleanup

[maxima.git] / doc / info / check_tab

#!/bin/sh

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

echo $bad_files