|
|
1.1 ! root 1: T=/n/pipe/usr/vol2/index/tools ! 2: awk -f $T/doinp.awk -v texinp=$TEXINPUTS $2|awk -v name=$1.hits ' ! 3: BEGIN { ! 4: sawbeg = 0 ! 5: getterm() ! 6: } ! 7: /(\\begin\{document|\\chapter)/ { ! 8: print "\\input try.tex" ! 9: sawbeg=1 ! 10: print $0 ! 11: next ! 12: } ! 13: /^$/ {print $0 ! 14: next ! 15: } ! 16: /.*/ { ! 17: line = $0 ! 18: if(NR >= number && sawbeg){ ! 19: putterm() ! 20: } ! 21: print line ! 22: if(line ~ /\$\$/){ ! 23: n=gsub(/\$\$/,"",line) ! 24: if(n%2){ ! 25: while(getline>0){ ! 26: print $0 ! 27: n=gsub(/\$\$/,"",$0) ! 28: if(n%2)break ! 29: } ! 30: } ! 31: line = $0 ! 32: } ! 33: if(line ~ /\$/){ ! 34: n=gsub(/\$/,"",line) ! 35: if(n%2){ ! 36: while(getline>0){ ! 37: print $0 ! 38: n=gsub(/\$/,"",$0) ! 39: if(n%2)break ! 40: } ! 41: } ! 42: } ! 43: if(line ~ /\\begin\{eq\}/){ ! 44: while(getline > 0){ ! 45: print $0 ! 46: if($0 ~ /^\\end\{eq\}/)break ! 47: } ! 48: } ! 49: } ! 50: END {print "\\end"} ! 51: function getterm(){ ! 52: if((getline < name)<= 0){ ! 53: number += 1000 ! 54: } ! 55: else if($0 ~ /^[0-9]/ && NF > 1){ ! 56: number = $1 ! 57: sub(/^[0-9][0-9]* /,"") ! 58: term = $0 ! 59: } else term=$0 ! 60: } ! 61: function putterm(){ ! 62: print "\\index{" term "}%" ! 63: getterm() ! 64: if(NR >= number){ ! 65: while(NR >= number){ ! 66: print "\\index{" term "}%" ! 67: getterm() ! 68: } ! 69: } ! 70: } ! 71: '
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.