/^@end pre/ {
if (!pre)
next
- pre = pre "</pre>\n"
+ pre = pre "\n</pre>\n"
if (nn)
note[nn] = note[nn] "\n" pre
else
}
s = p s
p = ""
+ # TODO: false positives..
+ while (match(s, /[a-z]opt[ )"]/))
+ s = substr(s,1,RSTART) "<sub>opt</sub>" substr(s,RSTART+RLENGTH-1)
+ if (match(s, /[a-z]opt$/))
+ s = substr(s,1,RSTART) "<sub>opt</sub>"
for (;;) {
while (match(s, noteid-1 "\\)")) {
p = p substr(s,1,RSTART-1)