diff options
Diffstat (limited to 'src/cmd/index/make.index')
-rw-r--r-- | src/cmd/index/make.index | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/cmd/index/make.index b/src/cmd/index/make.index new file mode 100644 index 00000000..aa89993d --- /dev/null +++ b/src/cmd/index/make.index @@ -0,0 +1,23 @@ +#!/bin/sh + +#check.data $* + +doclean $* >foo1 +deroman foo1 >foo2 +range.prep foo2 >foo3 +rotate foo3 >foo4 +range.sort foo4 >foo5 +range.collapse foo5 >foo6 +reroman foo6 >foo7 +num.collapse foo7 >foo8 +gen.key foo8 >foo9 +see.prep see.terms | gen.key >foo.see +final.sort foo9 foo.see >foo.regular + +hierarchy foo.regular >foo.hier + +format foo.hier >foo.all + +cat foo.all + +#cleanup |