#!/bin/sh
# file: greptexdeep = grep all *tex files here and 10 below, no .bb
# last: Jul  1 2002 

echo ===== grep all *tex files here and 10 deep 

find . -maxdepth 10 -name "*.tex" -exec grep -H $1 {} \;