1 files changed, 19 insertions, 0 deletions
diff --git a/share/man/tools/mgrep b/share/man/tools/mgrep
new file mode 100755
index 0000000..57dbc54
--- /dev/null
+++ b/share/man/tools/mgrep
@@ -0,0 +1,19 @@
+MANDIR=/usr/man
+TMPDIR=/usr/man/tmp
+
+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 1 2 3 4 5 6 7 8
+	do
+		cd $MANDIR/man$dir
+		echo "cat <<'EOF' >---------------" >> $TMPDIR/greps
+		echo "Section $dir" >> $TMPDIR/greps
+		grep $pattern *.* >> $TMPDIR/greps
+	done
+done