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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
#$Id: syntaxform.awk 635 2010-11-14 19:15:12Z karl $
# pdftex-t.tex --> pdftex-syntax.txt
# requires gawk due to gensub() function
BEGIN{
buffer = "";
}
/\015*$/ {
gsub(/\015*$/, "");
}
/^%%S NL/ {
print "";
next;
}
/^%%S/ {
gsub (/^%%S/, "%%" );
print;
next;
}
/^\\Syntax/ {
printing = 1;
indentation = 0;
next;
}
// {
if (buffer != "") {
gsub(/^ */, "");
$0 = buffer $0;
}
buffer = "";
}
/\|\|/ {
gsub(/\|\|/, "-");
}
/^ */{
gsub(/^ */, indspaces);
}
/\\Something/ {
$0 = gensub(/\\Something *{([^}]*)}/, "<\\1>", "g");
}
/\\Literal/ {
$0 = gensub(/\\Literal *{([^}]*)}/, "\\1", "g");
}
/\\Tex/ {
$0 = gensub(/\\Tex *{([^}]*)}/, "\\1", "g");
}
/\\tex/ {
$0 = gensub(/\\tex *{([^}]*)}/, "\\\\\\1", "g");
}
/\\Optional/ {
$0 = gensub(/\\Optional *{([^}]*)}/, "[\\1]", "g");
}
/\\Means/ {
gsub(/\\Means/, "-->");
indentation = match($0, /-->/);
indspaces = " ";
for(i=0; i < indentation; i++)
indspaces = indspaces " ";
}
/\\Lbrace/ {
gsub(/\\Lbrace/, "{");
}
/\\Rbrace/ {
gsub(/\\Rbrace/, "}");
}
/\\Or/ {
gsub(/\\Or/, "|");
}
/\\Next/ {
gsub(/\\Next /, "");
}
/\\Whatever/ {
whatind = 57;
whatpos = match($0, /\\Whatever/);
b = substr($0, 0, whatpos - 1)
c = substr($0, whatpos)
c = gensub(/\\Whatever *{([^}]*)}/, "(\\1)", "g", c);
$0 = b;
for(i = whatpos; i < whatind; i++)
$0 = $0 " ";
$0 = $0 c;
}
/^}/ {printing = 0;}
/% *$/ {
gsub(/% *$/, "");
buffer = $0;
next;
}
/^ *$/ {
$0 = "================= ERROR";
}
/ *$/ {
gsub(/ *$/, "");
}
{ if (printing) print; }
|
