![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to sdefns CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10dc / vol2 / index|
Return to sdefns CVS log | Up to [Research Unix] / researchv10dc / vol2 / index |
1.1 ! root 1: IND=../index/tools ! 2: ISTEX=0 ! 3: ENVIRON="$ENVIRON"' ! 4: runind(){ ! 5: F=$1 ! 6: if test -s $1.ms ! 7: then ! 8: J=$1 ! 9: F=$1.ms ! 10: else if test -s $1.m ! 11: then ! 12: J=$1 ! 13: F=$1.m ! 14: else if test -s $1.tex ! 15: then ! 16: J=`basename $1 .tex` ! 17: F=$1.tex ! 18: ISTEX=1 ! 19: else if test -s $1 ! 20: then ! 21: J=$1 ! 22: else ! 23: echo $1 not found ! 24: exit ! 25: fi ! 26: fi ! 27: fi ! 28: fi ! 29: O=x$F ! 30: tr A-Z a-z <$J.terms|sed -e '\''s/\([a-z/]*\)\.\([a-z][a-z]*\)/\1zz1\2/g'\'' -e '\''s/^\([0-9]\)/ \1/'\'' |sort|uniq| ! 31: awk '\'' { ! 32: if(last == $0)next ! 33: if(last "s" == $0){ ! 34: print last ! 35: last = "" ! 36: next ! 37: } ! 38: else if(last != "") ! 39: print last ! 40: last = $0 ! 41: } ! 42: END { ! 43: if(last != "")print last ! 44: }'\'' >$J.lt ! 45: sed '\''s/\([a-z/]*\)\.\([a-z][a-z]*\)/\1zz1\2/g'\'' $F >foo ! 46: $IND/diction -f $J.lt -o $J.hits foo >/dev/null ! 47: if test $ISTEX -eq 0 ! 48: then ! 49: sed '\''s/zz1/\./g'\'' $J.hits|tr $ ~ >$J.nh ! 50: mv $J.nh $J.hits ! 51: echo troff file= $F out= $O ! 52: awk -v name=$J.hits '\'' ! 53: BEGIN { ! 54: getterm() ! 55: } ! 56: /.*/ { ! 57: line = $0 ! 58: if(NR >= number){ ! 59: putterm() ! 60: } ! 61: print line ! 62: if(line ~ /^\.PS[ ]*</)next ! 63: if(line ~ /^\.[TPI]S/){ ! 64: while(getline > 0){ ! 65: if($0 ~ /^\.T\&/){ ! 66: if(NR >= number) ! 67: putterm() ! 68: } ! 69: print $0 ! 70: if($0 ~ /^\.([PTI]E)|IF/)break ! 71: } ! 72: } ! 73: if(line ~ /^\.EQ/){ ! 74: while(getline > 0){ ! 75: print $0 ! 76: if($0 ~ /^\.EN/)break ! 77: } ! 78: } ! 79: } ! 80: function getterm(){ ! 81: if((getline < name)<= 0){ ! 82: number += 1000 ! 83: } ! 84: else if($0 ~ /^[0-9]/ && NF > 1){ ! 85: number = $1 ! 86: sub(/^[0-9][0-9]* /,"") ! 87: term = $0 ! 88: } else term=$0 ! 89: } ! 90: function putterm(){ ! 91: print ".Tm " term ! 92: getterm() ! 93: if(NR >= number){ ! 94: while(NR >= number){ ! 95: print ".Tm " term ! 96: getterm() ! 97: } ! 98: } ! 99: } ! 100: '\'' $F >$O ! 101: else ! 102: sed -e '\''s/zz1/\./g'\'' -e '\''s/ /<tab>/g'\'' $J.hits|tr $ ~ >$J.nh ! 103: mv $J.nh $J.hits ! 104: echo tex $F $O ! 105: awk -v name=$J.hits '\'' ! 106: BEGIN { ! 107: sawbeg = 0 ! 108: getterm() ! 109: } ! 110: /\\begin\{document/ { ! 111: sawbeg=1 ! 112: print $0 ! 113: next ! 114: } ! 115: /.*/ { ! 116: line = $0 ! 117: if(NR >= number && sawbeg){ ! 118: putterm() ! 119: } ! 120: print line ! 121: if(line ~ /\\begin\{eg\}/){ ! 122: while(getline > 0){ ! 123: print $0 ! 124: if($0 ~ /^\\end\{eg\}/)break ! 125: } ! 126: } ! 127: } ! 128: function getterm(){ ! 129: if((getline < name)<= 0){ ! 130: number += 1000 ! 131: } ! 132: else if($0 ~ /^[0-9]/ && NF > 1){ ! 133: number = $1 ! 134: sub(/^[0-9][0-9]* /,"") ! 135: term = $0 ! 136: } else term=$0 ! 137: if(term ~ /\\em/) ! 138: sub(/\\em /,"",term) ! 139: if(term ~ /{\\tt/){ ! 140: sub(/{\\tt /,"",term) ! 141: sub(/}/,"",term) ! 142: } ! 143: } ! 144: function putterm(){ ! 145: print "\\index{" term "}" ! 146: getterm() ! 147: if(NR >= number){ ! 148: while(NR >= number){ ! 149: print "\\index{" term "}" ! 150: getterm() ! 151: } ! 152: } ! 153: } ! 154: '\'' $F >$O ! 155: fi ! 156: rm foo $J.lt # $J.hits ! 157: } ! 158: ! 159: mkindex(){ #uses either $1.x or $2.x to make base.ind ! 160: if test $# -eq 0 ! 161: then ! 162: echo mkindex directory file or mkindex file ! 163: exit ! 164: fi ! 165: if test $# -eq 1 ! 166: then ! 167: j=`basename $1 .x` ! 168: sed -n "/^\\.XX.*$j/p" ../contents/contents.ms|awk '\''{print $2 >"name"}'\'' ! 169: else ! 170: j=`basename $2 .x` ! 171: sed -n "/^\\.XX.*$1\\/$j/p" ../contents/contents.ms|awk '\''{print $2 >"name"}'\'' ! 172: fi ! 173: FILE=$j.x ! 174: S=`cat name` ! 175: sed -e "/^0 /d" -e "s/ #.*//" -e "s/:/!/g" -e "/^[A-Za-z.]/d" -e "/Examp/d" $FILE| ! 176: awk '\'' ! 177: BEGIN {FS=" " } ! 178: NF==2 { print str ", " $2 ": " $1 ! 179: print $2 ", " str ": " $1 ! 180: } ! 181: NF==3 { ! 182: if($NF == "s" )print str ", " $2 ": " $1 ! 183: else print $2 ", " str ": " $1 ! 184: }'\'' str=$S | sort -f -u -t":" +0 -1 +1n | ! 185: awk '\'' ! 186: BEGIN {FS=":"} ! 187: { if($1 != laststr){ ! 188: if(start){ ! 189: if(range)pages = pages "-" npage ! 190: print laststr "," pages ! 191: } ! 192: start=1 ! 193: laststr=$1 ! 194: pages = " " $2 ! 195: npage = 0 + $2 ! 196: range=0 ! 197: } ! 198: else { ! 199: if($2 == npage+1){ ! 200: range=1 ! 201: npage++ ! 202: next ! 203: } ! 204: else if(range) pages = pages "-" npage "," $2 ! 205: else pages = pages "," $2 ! 206: npage = 0 + $2 ! 207: range = 0 ! 208: } ! 209: } ! 210: END { ! 211: if(range)pages = pages "-" npage ! 212: print laststr "," pages ! 213: } ! 214: '\''|sed -e '\''s/~/\$/g'\'' -e '\''s/!/:/g'\''>$j.ind ! 215: rm name $j.x ! 216: }' ! 217:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.