Annotation of researchv10dc/vol2/index/tools/gethd, revision 1.1

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

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.