~ubuntu-branches/debian/squeeze/maxima/squeeze

1
2
3
4
5
6
7
#!/bin/sh

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

echo $bad_files