Return to defns CVS log

Up to [Research Unix] / researchv10no / cmd / mk / src

Annotation of researchv10no/cmd/mk/src/defns, revision 1.1.1.1

1.1       root        1: IND=../index/tools
                      2: 
                      3: ENVIRON='runind(){
                      4:        if test -s $1.ms
                      5:        then
                      6:                J=`basename $1 .ms`
                      7:                F=$1.ms
                      8:                O=x$1.ms
                      9:        else if test -s $1.m
                     10:        then
                     11:                J=`basename $1 .m`
                     12:                F=$1.m
                     13:                O=x$1.m
                     14:        else if test $1
                     15:        then
                     16:                J=$1
                     17:                F=$1
                     18:                O=x$1
                     19:        else
                     20:                echo $1 not found
                     21:                exit
                     22:        fi
                     23:        fi
                     24:        fi
                     25: tr A-Z a-z <$J.terms|sed "s/\([a-z][a-z/]*\)\.\([a-z][a-z]*\)/\1zz1\2/g"|sort|uniq|
                     26: awk '\''       {
                     27:        if(last == $0)next
                     28:        if(last "s" == $0){
                     29:                print last
                     30:                last = ""
                     31:                next
                     32:        }
                     33:        else if(last != "")
                     34:                print last
                     35:        last = $0
                     36:        }
                     37: END    {
                     38:        if(last != "")print last
                     39: } >$J.lt
                     40: sed s/\([a-z][a-z]*\)\.\([a-z][a-z]*\)/\1zz1\2/g $F >foo
                     41: $IND/diction -f $J.lt -o $J.hits foo >/dev/null
                     42: sed s/zz1/\./g $J.hits|tr $ ~ >$J.nh
                     43: mv $J.nh $J.hits
                     44: awk  -v name=$J.hits 
                     45: BEGIN  {
                     46:        getterm()
                     47:        }
                     48: /.*/   {
                     49:        line = $0
                     50:        if(NR >= number){
                     51:                putterm()
                     52:        }
                     53:        print line
                     54:        if(line ~ /^\.PS[ ]*</)next
                     55:        if(line ~ /^\.[TPI]S/){
                     56:                while(getline > 0){
                     57:                        if($0 ~ /^\.T\&/){
                     58:                                if(NR >= number)
                     59:                                        putterm()
                     60:                        }
                     61:                        print $0
                     62:                        if($0 ~ /^\.([PTI]E)|IF/)break
                     63:                }
                     64:        }
                     65:        if(line ~ /^\.EQ/){
                     66:                while(getline > 0){
                     67:                        print $0
                     68:                        if($0 ~ /^\.EN/)break
                     69:                }
                     70:        }
                     71:        }
                     72: function getterm(){
                     73:        if((getline < name)<= 0){
                     74:                number += 1000
                     75:        }
                     76:        else if($0 ~ /^[0-9]/ && NF > 1){
                     77:                number = $1
                     78:                sub(/^[0-9][0-9]* /,"")
                     79:                term = $0
                     80:        } else term=$0
                     81: }
                     82: function putterm(){
                     83:        print ".Tm " term
                     84:        getterm()
                     85:        if(NR >= number){
                     86:                while(NR >= number){
                     87:                        print ".Tm " term
                     88:                        getterm()
                     89:                }
                     90:        }
                     91: }
                     92:  $F >$O
                     93: rm foo
                     94: }
                     95: 
                     96: mkindex(){             #uses either $1.x or $2.x to make base.ind
                     97:        if test $# -eq 0
                     98:        then
                     99:                echo mkindex directory file or mkindex file
                    100:                exit
                    101:        fi
                    102:        if test $# -eq 1
                    103:        then
                    104:        j=`basename $1 .x`
                    105:        sed -n "/^\.XX.*$j/p" ../contents/contents.ms|awk {print $2 >"name"}
                    106:        else
                    107:        j=`basename $2 .x`
                    108:        sed -n "/^\.XX.*$1\/$j/p" ../contents/contents.ms|awk {print $2 >"name"}
                    109:        fi
                    110:        FILE=$j.x
                    111: S=`cat name`
                    112: sed -e "/^0    /d" -e "s/ #.*//" -e "s/:/!/g" -e "/^[A-Za-z.]/d" -e "/Examp/d" $FILE|
                    113: awk
                    114: BEGIN  {FS="   " }
                    115: NF==2  { print str ", " $2 ": " $1
                    116:        print $2 ", " str ": " $1
                    117:        }
                    118: NF==3  {
                    119:        if($NF == "s" )print str ", " $2 ": " $1
                    120:        else print $2 ", " str ": " $1
                    121: } str=$S | sort -u -t":" +0 -1 +1n |
                    122: awk 
                    123: BEGIN  {FS=":"}
                    124:        { if($1 != laststr){
                    125:                if(start){
                    126:                        if(range)pages = pages "-" npage
                    127:                        print laststr "," pages
                    128:                }
                    129:                start=1
                    130:                laststr=$1
                    131:                pages = " " $2
                    132:                npage = 0 + $2
                    133:                range=0
                    134:        }
                    135:        else {
                    136:                if($2 == npage+1){
                    137:                        range=1
                    138:                        npage++
                    139:                        next
                    140:                }
                    141:                else if(range) pages = pages "-" npage "," $2
                    142:                else pages = pages "," $2
                    143:                npage = 0 + $2
                    144:                range = 0
                    145:        }
                    146: }
                    147: END    {
                    148:        if(range)pages = pages "-" npage
                    149:        print laststr "," pages
                    150:        }
                    151: 
                    152: |sed -e s/~/\$/g -e s/!/:/g>$j.ind
                    153: }'
                    154: 

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