From 638f5c0d2fde7dcab1ac7d91d6b09e8c14a2a815 Mon Sep 17 00:00:00 2001 From: rsc Date: Fri, 14 Jan 2005 20:12:19 +0000 Subject: add index --- man/mkindex | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 man/mkindex (limited to 'man/mkindex') diff --git a/man/mkindex b/man/mkindex new file mode 100755 index 00000000..543bf1a5 --- /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 -- cgit v1.2.3