pdp11v/usr/man/tools/mgrep

set x $*
. ./.param

date > $TMPDIR/greps
echo "Grep list:  $*" >> $TMPDIR/greps
echo >> $TMPDIR/greps

for pattern in $*
do
	echo "\n================" >> $TMPDIR/greps
	echo "$pattern:" >> $TMPDIR/greps
	for dir in $DIRLST
	do
		cd $MANDIR/man$dir
		echo "--------------------" >> $TMPDIR/greps
		echo "Section $dir" >> $TMPDIR/greps
		grep $pattern *.* >> $TMPDIR/greps
	done
done
#	@(#)mgrep	5.2 of 5/19/82