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