Add various tools

1 files changed, 6 insertions, 0 deletions

diff --git a/mm b/mm
new file mode 100755
index 0000000..a0aaca7
--- /dev/null
+++ b/mm
@@ -0,0 +1,6 @@
+#!/bin/rc -e
+# mm -- multi-man
+m=`{apropos $1}
+if(~ $#m 0)
+	exit 'no manual page'
+plumb $m