1MANDIR=/usr/man 2TMPDIR=/usr/man/tmp 3 4date > $TMPDIR/greps 5echo "Grep list: $*" >> $TMPDIR/greps 6echo >> $TMPDIR/greps 7 8for pattern in $* 9do 10 echo "\n================" >> $TMPDIR/greps 11 echo "$pattern:" >> $TMPDIR/greps 12 for dir in 1 2 3 4 5 6 7 8 13 do 14 cd $MANDIR/man$dir 15 echo "cat <<'EOF' >---------------" >> $TMPDIR/greps 16 echo "Section $dir" >> $TMPDIR/greps 17 grep $pattern *.* >> $TMPDIR/greps 18 done 19done 20