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