|
|
1.1 root 1: awk -v name=$1.hits '
2: BEGIN {
3: getterm()
4: }
5: /.*/ {
6: line = $0
7: if(NR >= number){
8: putterm()
9: }
10: print line
11: if(line ~ /^\.PS[ ]*</)next
12: if(line ~ /^\.[TPI]S/){
13: while(getline > 0){
14: if($0 ~ /^\.T\&/){
15: if(NR >= number)
16: putterm()
17: }
18: print $0
19: if($0 ~ /^\.([PTI]E)|IF/)break
20: }
21: }
22: if(line ~ /^\.EQ/){
23: while(getline > 0){
24: print $0
25: if($0 ~ /^\.EN/)break
26: }
27: }
28: }
29: function getterm(){
30: if((getline < name)<= 0){
31: number += 1000
32: }
33: else if($0 ~ /^[0-9]/ && NF > 1){
34: number = $1
35: sub(/^[0-9][0-9]* /,"")
36: term = $0
37: } else term=$0
38: }
39: function putterm(){
40: print ".Tm " term
41: getterm()
42: if(NR >= number){
43: while(NR >= number){
44: print ".Tm " term
45: getterm()
46: }
47: }
48: }
49: ' $2
50:
51:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.