|
|
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.