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