From a19c44b83b96fefad131ef324c3eb2916e8c604c Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Mon, 3 Jan 2005 06:41:38 +0000
Subject: Add mkfile to keep indices up to date.

Remove man pages for things we don't provide.
---
 man/secindex | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100755 man/secindex

(limited to 'man/secindex')

diff --git a/man/secindex b/man/secindex
new file mode 100755
index 00000000..6dd0d51e
--- /dev/null
+++ b/man/secindex
@@ -0,0 +1,37 @@
+#!/usr/local/plan9/bin/rc
+builtin cd $1
+for (i in [a-z0-9:]*) {
+	b=`{echo $i | sed 's/\..*//'}
+	9sed -n '
+	/SH *NAM/,/SH/{
+		/SH/d
+		s/, *$//
+		ty
+		:y
+		s/ *\\*-.*//
+		tx
+		s/ *\\\(mi.*//
+		tx
+		s/, */\
+/g
+		s/\n\\n/\
+/g
+		s/$/ '$i'/g
+		p
+	}
+	/SH *DES/q
+	d
+	:x
+	s/ *\\*-.*//
+	s/ *\\\(mi.*//
+	/^$/d
+	s/, */\
+/g
+	s/\n\n/\
+/g
+	s/$/ '$i'/g
+	p
+	q
+' $i
+echo $b $i
+} |sort -u
-- 
cgit v1.2.3