diff options
Diffstat (limited to 'man/lib/lookman/mkindex')
| -rwxr-xr-x | man/lib/lookman/mkindex | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/man/lib/lookman/mkindex b/man/lib/lookman/mkindex new file mode 100755 index 00000000..45c48d74 --- /dev/null +++ b/man/lib/lookman/mkindex @@ -0,0 +1,13 @@ +#!/bin/rc +# creates the index used by lookman +>index +for(i in /usr/inferno/man/[0-9]*/[a-z0-9:]*){ + p=`{echo $i | sed 's@/usr/inferno(/man/.*)$@\1@'} + deroff -w < $i | + tr 'A-Z' 'a-z' | + sort -u | + comm -23 - junkwords | + sed 's@$@ '$p'@' >>index # stick file name on end of line +} +sort -o index index +mv index /usr/inferno/man/index |