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