|
|
1.1 root 1: M=/usr/vol2/index/tools
2: j=`basename $1`
3: if test -s ../$1/$j.ms
4: then
5: echo ms $j
6: $M/topic ../$1/$j.ms|sed 's/^.....//'|sort|awk -f $M/dups.awk >$j.top
7: else
8: if test -s ../$1/$j.tex
9: then
10: echo tex $j
11: $M/topic ../$1/$j.tex|sed 's/^.....//'|sort|awk -f $M/dups.awk >$j.top
12: else
13: if test -s ../$1/$j.m
14: then
15: echo monk $j
16: $M/topic ../$1/$j.dm|sed 's/^.....//'|sort|awk -f $M/dups.awk >$j.top
17: else
18: if test -s $1
19: then
20: echo found $1
21: j=`basename $1 .ms`
22: $M/topic $1|sed 's/^.....//'|sort|awk -f $M/dups.awk >$j.top
23: else
24: if test ../$1/$2.m
25: then
26: j=$2
27: $M/topic ../$1/$j.dm|sed 's/^.....//'|sort|awk -f $M/dups.awk >$j.top
28: else
29: echo no file $1
30: fi
31: fi
32: fi
33: fi
34: fi
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.