1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
BEGIN {
FS = ":";
BD = "\\s+1\\fB";
ED = "\\fP\\s-1";
}
NR == 1 {
if ($3 != "")
printf(".Ib \"%s\"\n", $2);
major = $2;
minor = $3;
if ($4 == "@DEF@") {
pagelist = BD $1 ED;
}
else {
pagelist = $1;
}
pageno = $1;
oldpageno = $1;
oldpagelist = "";
}
NR != 1 {
if ($2 == major && $3 == minor) # neither has changed
{
if ($1 != pageno) { # new page number, append
oldpageno = $1;
oldpagelist = pagelist;
if ($4 == "@DEF@") {
pagelist = pagelist ", " BD $1 ED;
}
else {
pagelist = pagelist ", " $1;
}
}
else { # old page, but check for def
if ($4 == "@DEF@") {
if (pageno == oldpageno) {
if (oldpagelist != "")
oldpagelist = oldpagelist ", "
}
pagelist = oldpagelist BD $1 ED;
}
}
}
else # one has changed
{
if (minor != "") # dump full record
printf(".I< \"%s\" \"%s\" \"%s\"\n", major, minor, pagelist);
else
printf(".I> \"%s\" \"%s\"\n", major, pagelist);
if ($4 == "@DEF@") { # restart pagelist
pagelist = BD $1 ED;
}
else {
pagelist = $1;
}
oldpagelist = "";
oldpageno = $1;
if ($2 != major && $3 != "") # major has changed, minor not null
printf(".Ib \"%s\"\n", $2);
}
major = $2;
minor = $3;
pageno = $1;
}
END {
if (minor != "") # dump full record
printf(".I< \"%s\" \"%s\" \"%s\"\n", major, minor, pagelist);
else
printf(".I> \"%s\" \"%s\"\n", major, pagelist);
}
|
