|
|
1.1 root 1: M=/usr/vol2/xindex/tools
2: for i in /usr/vol2/*
3: do
4: j=`basename $i`
5: if test -s $i/$j.ms
6: then
7: echo ms $j
8: awk -f $M/headings.awk $i/$j.ms|sed -f $M/head.sed >$j.hd
9: else
10: if test -s $i/$j.tex
11: then
12: echo tex $j
13: awk -f $M/theadings.awk $i/$j.tex|sed -f $M/head.sed >$j.hd
14: else
15: if test -s $i/$j.m
16: then
17: echo monk $j
18: awk -f $M/mheadings.awk $i/$j.m|sed -f $M/head.sed >$j.hd
19: else
20: echo $i not found
21: for j in $i/*.ms
22: do
23: k=`basename $i`
24: l=`basename $j .ms`
25: if test -s $j
26: then
27: echo running $j to $k
28: awk -f $M/headings.awk $j|sed -f $M/head.sed >$k$l.hd
29: fi
30: done
31: for j in $i/*.m
32: do
33: k=`basename $i`
34: l=`basename $j .m`
35: if test -s $j
36: then
37: echo running $j to $k
38: awk -f $M/mheadings.awk $j|sed -f $M/head.sed >$k$l.hd
39: fi
40: done
41: fi
42: fi
43: fi
44: done
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.