19 gsub(/ +/, " ", title)
20 gsub(/Committee Draft --/, "", title)
24 ss[sid] = ss[sid] "</pre>\n"
29 seencontents && !seenfore && /^[^@]/ {
36 if (!sub(/ +\. .*/, "", s)) {
43 if (match(s, /<[a-zA-Z0-9_]*\.h>/)) {
44 h = substr($0,RSTART,RLENGTH)
49 s = "<a href=\"#" id "\">" s "</a>\n"
52 n = split(id, a, /\./)
67 ss[sid] = ss[sid] "</ul>\n"
77 ss[sid] = ss[sid] "</pre>\n"
81 ss[sid] = ss[sid] "<h1>" $0 "</h1>\n"
83 ss[sid] = ss[sid] "<pre>\n"
94 slevel = split($2,a,/\./)+1
99 # todo hX, back to top
100 ss[sid] = sprintf("<h%s><a name=\"%s\" href=\"#%s\">%s</a></h%s>\n", slevel, sect, sect, $0, slevel)
102 ss[sid] = ss[sid] "<pre>\n"
107 ss[sid] = ss[sid] "<ul>\n"
111 ss[sid] = ss[sid] "</ul>\n"
115 ss[sid] = ss[sid] "<ol>\n"
119 ss[sid] = ss[sid] "</ol>\n"
124 ss[sid] = ss[sid] "<li>"
136 pre = pre "\n</pre>\n"
138 note[nn] = note[nn] "\n" pre
140 ss[sid] = ss[sid] pre
155 ss[sid] = ss[sid] "<!--page " p " -->\n"
160 ss[sid] = ss[sid] "<p><!--para " $2 " -->\n"
164 /^ ?(Syntax|Semantics|Description|Constraints|Synopsis|Returns|Recommended practice|Implementation limits|Environmental limits)$/ {
165 ss[sid] = ss[sid] "<p><b>" $0 "</b>\n"
170 ss[sid] = ss[sid] $0 "\n"
178 r = " [A-Z1-9][0-9.]*"
180 r = "[ ([][A-Z1-9]\\.[0-9.]*[0-9]"
183 while (match(s, r)) {
184 p = p substr(s,1,RSTART)
185 m = substr(s,RSTART+1,RLENGTH-1)
186 if (m ~ /\.0$/ || m ~ /[4-9][0-9]/ || m ~ /[0-3][0-9][0-9]/ ||
187 substr(s,RSTART+RLENGTH,1) ~ /[a-zA-Z_\-]/)
190 p = p "<a href=\"#" m "\">" m "</a>"
191 s = substr(s,RSTART+RLENGTH)
195 while (match(s, /[Aa]nnex [A-Z]/)) {
196 p = p substr(s,1,RSTART-1)
197 m = substr(s,RSTART,RLENGTH)
198 p = p "<a href=\"#" substr(m,RLENGTH,1) "\">" m "</a>"
199 s = substr(s,RSTART+RLENGTH)
203 while (match(s, /<[a-zA-Z0-9_]*\.h>/)) {
204 p = p substr(s,1,RSTART-1)
205 m = substr(s,RSTART,RLENGTH)
207 p = p "<a href=\"#" header[m] "\">" m "</a>"
210 s = substr(s,RSTART+RLENGTH)
214 # TODO: false positives..
215 while (match(s, /[a-z]opt[ )"]/))
216 s = substr(s,1,RSTART) "<sub>opt</sub>" substr(s,RSTART+RLENGTH-1)
217 if (match(s, /[a-z]opt$/))
218 s = substr(s,1,RSTART) "<sub>opt</sub>"
220 while (match(s, noteid-1 "\\)")) {
221 p = p substr(s,1,RSTART-1)
222 p = p "<sup><a href=\"#note" noteid-1 "\"><b>" noteid-1 ")</b></a></sup>"
223 s = substr(s,RSTART+RLENGTH)
225 if (!match(s, noteid "\\)"))
227 if (noteid==1 && s !~ /\.1\)/)
229 p = p substr(s,1,RSTART-1)
230 p = p "<sup><a href=\"#note" noteid "\"><b>" noteid ")</b></a></sup>"
231 snote[sid] = snote[sid] " " noteid
233 s = substr(s,RSTART+RLENGTH)
236 sub(/^ *Forward references/, "<p><b>&</b>", s)
238 s = "<b>" s "</b><br>"
244 note[nn] = note[nn] s "\n"
246 ss[sid] = ss[sid] s "\n"
250 ss[sid] = ss[sid] "</pre>"
252 print "<html><head><title>" title "</title></head><body>"
254 for (i = 1; i <= sid; i++) {
256 n = split(snote[i],a)
258 s = "<p><b>Footnotes</b>\n"
259 for (j = 1; j <= n; j++) {
260 s = s "<p><small><a name=\"note" a[j] "\" href=\"#note" a[j] "\">" a[j] ")</a>" note[a[j]+0] "</small>\n"
266 print "</body></html>"