add index
This commit is contained in:
parent
732489da90
commit
638f5c0d2f
6 changed files with 30205 additions and 4 deletions
14
man/mkindex
Executable file
14
man/mkindex
Executable file
|
|
@ -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
|
||||
Loading…
Add table
Add a link
Reference in a new issue