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