commit | 638f5c0d2fde7dcab1ac7d91d6b09e8c14a2a815 | [log] [tgz] |
---|---|---|
author | rsc <devnull@localhost> | Fri Jan 14 20:12:19 2005 +0000 |
committer | rsc <devnull@localhost> | Fri Jan 14 20:12:19 2005 +0000 |
tree | be21678ef62bd4e8878c781f1febae24dd9d979f | |
parent | 732489da903809b3e7ecbcad6f42d74edff075ad [diff] [blame] |
add index
diff --git a/man/mkindex b/man/mkindex new file mode 100755 index 0000000..543bf1a --- /dev/null +++ b/man/mkindex
@@ -0,0 +1,14 @@ +#!/usr/local/plan9/bin/rc + +. 9.rc + +# creates the index used by lookman +>lookman.index +for(i in $PLAN9/man/man[0-9]*/[a-z0-9:]*.[0-9]*){ + deroff -w_ < $i | + tr 'A-Z' 'a-z' | + sort -u | + comm -23 - junkwords | + sed 's@$@ '$i'@' >>lookman.index # stick file name on end of line +} +sort -o lookman.index lookman.index