|
|
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: awk -f $M/headings.awk ../$1/$j.ms|sed -f $M/head.sed >$j.hd
7: else
8: if test -s ../$1/$j.tex
9: then
10: echo tex $j
11: awk -f $M/theadings.awk ../$1/$j.tex|sed -f $M/head.sed >$j.hd
12: else
13: if test -s ../$1/$j.m
14: then
15: echo monk $j
16: awk -f $M/mheadings.awk ../$1/$j.m|sed -f $M/head.sed >$j.hd
17: else
18: if test -s $1
19: then
20: echo found $1
21: j=`basename $1 .ms`
22: awk -f $M/headings.awk $1|sed -f $M/head.sed >$j.hd
23: else
24: echo no file $1
25: fi
26: fi
27: fi
28: fi
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.