![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to defns 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 defns 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: tr A-Z a-z <$J.terms|awk -v file=$J.terms '\''{
48: term=$0
49: gsub(/\\/,"\\\\")
50: gsub(/\//,"\\/")
51: gsub(/\*/,"\\*")
52: gsub(/\[/,"\\[")
53: gsub(/,/," ")
54: term=$0
55: getline <file
56: gsub(/\\/,"\\\\")
57: gsub(/\//,"\\/")
58: gsub(/\&/,"\\\\\&")
59: print "s/^" term "$/" $0 "/"
60: print "s/^\\([0-9]* \\)" term "$/\\1" $0 "/"}'\'' >x$J.sed
61: if test -s $J.sed
62: then
63: sed '\''s/zz1/\./g'\'' $J.hits|sed -f x$J.sed|sed -f $J.sed|tr $ ~ >$J.nh
64: else
65: sed '\''s/zz1/\./g'\'' $J.hits|sed -f x$J.sed|tr $ ~ >$J.nh
66: fi
67: if test $ISTEX -eq 0
68: then
69: echo troff file= $F out= $O
70: awk -v name=$J.nh '\''
71: BEGIN {
72: getterm()
73: }
74: /.*/ {
75: line = $0
76: if(NR >= number){
77: putterm()
78: }
79: print line
80: if(line ~ /^\.PS[ ]*</)next
81: if(line ~ /^\.[TPI]S/){
82: while(getline > 0){
83: save=$0
84: if($0 ~ /^\.T\&/){
85: if(NR >= number)
86: putterm()
87: }
88: print save
89: if($0 ~ /^\.([PTI]E)|IF/)break
90: }
91: }
92: if(line ~ /^\.EQ/){
93: while(getline > 0){
94: print $0
95: if($0 ~ /^\.EN/)break
96: }
97: }
98: if(line ~ /^\|begin.figure/){
99: while(getline > 0){
100: print $0
101: if($0 ~ /^\|end.figure/)break
102: }
103: }
104: }
105: function getterm(){
106: if((getline < name)<= 0){
107: number += 1000
108: }
109: else if($0 ~ /^[0-9]/ && NF > 1){
110: number = $1
111: sub(/^[0-9][0-9]* /,"")
112: term = $0
113: } else term=$0
114: }
115: function putterm(){
116: print ".Tm " term
117: getterm()
118: if(NR >= number){
119: while(NR >= number){
120: print ".Tm " term
121: getterm()
122: }
123: }
124: }
125: '\'' $F >$O
126: else
127: sed '\''s/ /<tab>/g'\'' $J.nh|tr $ ~ >$J.hits
128: echo tex $F $O
129: awk -v name=$J.hits '\''
130: BEGIN {
131: sawbeg = 0
132: getterm()
133: }
134: /\\begin\{document/ {
135: sawbeg=1
136: print $0
137: next
138: }
139: /.*/ {
140: line = $0
141: if(NR >= number && sawbeg){
142: putterm()
143: }
144: print line
145: if(line ~ /\\begin\{eg\}/){
146: while(getline > 0){
147: print $0
148: if($0 ~ /^\\end\{eg\}/)break
149: }
150: }
151: }
152: function getterm(){
153: if((getline < name)<= 0){
154: number += 1000
155: }
156: else if($0 ~ /^[0-9]/ && NF > 1){
157: number = $1
158: sub(/^[0-9][0-9]* /,"")
159: term = $0
160: } else term=$0
161: }
162: function putterm(){
163: print "\\index{" term "}"
164: getterm()
165: if(NR >= number){
166: while(NR >= number){
167: print "\\index{" term "}"
168: getterm()
169: }
170: }
171: }
172: '\'' $F >$O
173: fi
174: rm foo $J.lt $J.hits $J.nh
175: }
176:
177: mkindex(){ #uses either $1.x or $2.x to make base.ind
178: if test $# -eq 0
179: then
180: echo mkindex directory file or mkindex file
181: exit
182: fi
183: if test $# -eq 1
184: then
185: j=`basename $1 .x`
186: sed -n "/^\\.XX.*$j/p" ../contents/contents.ms|awk '\''{print $2 >"name"}'\''
187: else
188: j=`basename $2 .x`
189: sed -n "/^\\.XX.*$1\\/$j/p" ../contents/contents.ms|awk '\''{print $2 >"name"}'\''
190: fi
191: FILE=$j.x
192: if test -f $j.sed2
193: then
194: sed -f $j.sed2 $FILE >x$FILE
195: FILE=x$FILE
196: fi
197: S=`cat name`
198: sed -e "/^[01] /d" -e "s/ #.*//" -e "s/:/;/g" -e "/^[A-Za-z.]/d" -e "/Examp/d" $FILE|
199: awk '\''
200: BEGIN {FS=" " }
201: NF==2 { print str ", " $2 ": " $1
202: print $2 ", " str ": " $1
203: }
204: NF==3 {
205: if($NF ~ /s/ )print str ", " $2 ": " $1
206: else if($NF ~ /[SprtqxyzZY]/ )print str ", " $2 ": " $1 ":" $NF
207: else if($NF ~ /[gGPR]/) print $2 ", " str ": " $1 ":" $NF
208: else if($NF ~ /[cf]/){
209: print str ", " $2 ": " $1 ":" $NF
210: print $2 ", " str ": " $1 ":" $NF
211: }
212: else if($NF ~ /C/){
213: print str ", " $2 ": " $1 ":" $NF
214: print $2 ", " str ": " $1
215: }
216: else print "code undefined:" $NF|"cat 1>&2"
217: }'\'' str=$S | sort -f -u -t":" +0 -1 +1n |
218: awk '\''
219: BEGIN {FS=":"}
220: { if($1 != laststr){
221: if(start){
222: if(range)pages = pages "-" npage
223: if(global != "")print laststr "," pages " " global
224: else print laststr "," pages
225: }
226: start=1
227: laststr=$1
228: global=$3
229: pages = " " $2
230: npage = 0 + $2
231: range=0
232: }
233: else {
234: if($2 == npage+1){
235: range=1
236: npage++
237: next
238: }
239: else if(range) pages = pages "-" npage "," $2
240: else pages = pages "," $2
241: npage = 0 + $2
242: range = 0
243: }
244: }
245: END {
246: if(range)pages = pages "-" npage
247: if(global != "")print laststr "," pages " " global
248: else print laststr "," pages
249: }
250: '\''|sed -e '\''s/~/\$/g'\'' -e '\''s/;/:/g'\''>$j.ind
251: rm name $j.x
252: }'
253:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.