X-Git-Url: http://nsz.repo.hu/git/?p=c-standard;a=blobdiff_plain;f=ann2html.sh;h=5a93b3542d311fb02ef012b47359eac40e8dbdac;hp=6b27ecd78ae25394562affce87721e90685ae261;hb=5d87c6a24b31ceb8a6753667546b0cb311bd6843;hpb=7580b254a0869cd01093b0b60f1ee65d573c4999 diff --git a/ann2html.sh b/ann2html.sh index 6b27ecd..5a93b35 100755 --- a/ann2html.sh +++ b/ann2html.sh @@ -8,12 +8,22 @@ BEGIN { ss[sid] = "
" } -{ +function esc() { gsub(/\&/, "\\&") gsub(/, "\\<") gsub(/>/, "\\>") } +{ + esc() +} + +!title && /^[^@]/ { + title = $0 + gsub(/ +/, " ", title) + gsub(/Committee Draft --/, "", title) +} + /^@sect Contents/ { ss[sid] = ss[sid] "\n" seencontents = 1 @@ -29,6 +39,7 @@ seencontents && !seenfore && /^[^@]/ { s = $0 if (!sub(/ +\. .*/, "", s)) { getline + esc() sub(/^ */, " ") s = s $0 sub(/ +\. .*/, "", s) @@ -72,14 +83,18 @@ seencontents && !seenfore && /^[^@]/ { } sid++ getline + esc() ss[sid] = ss[sid] "
\n" } next } +/^@sect 3\./ { + markdef = 1 +} + /^@sect/ { sid++ slevel = split($2,a,/\./)+1 @@ -87,8 +102,9 @@ seencontents && !seenfore && /^[^@]/ { slevel = 5 sect = $2 getline + esc() # todo hX, back to top - ss[sid] = sprintf("\n" if (nn) note[nn] = note[nn] "\n" pre else @@ -143,18 +159,17 @@ seencontents && !seenfore && /^[^@]/ { nn = 0 p = $2 getline - i = $2 - ss[sid] = ss[sid] "\n" + ss[sid] = ss[sid] "\n" next } /^@para/ { - ss[sid] = ss[sid] "%s \n", sect, sect, slevel, $0, slevel) + ss[sid] = sprintf("%s \n", slevel, sect, sect, $0, slevel) if ($0 == "Index") ss[sid] = ss[sid] "\n" next @@ -124,7 +140,7 @@ seencontents && !seenfore && /^[^@]/ { /^@end pre/ { if (!pre) next - pre = pre "\n" + pre = pre "\n
\n" + ss[sid] = ss[sid] "
\n" next } -/^ *(Syntax|Semantics|Description|Constraints|Synopsis|Returns)$/ { - ss[sid] = ss[sid] "
" $0 "\n" next } @@ -203,7 +218,19 @@ seencontents && !seenfore && /^[^@]/ { } s = p s p = "" - while (match(s, noteid "\\)")) { + # TODO: false positives.. + while (match(s, /[a-z]opt[ )"]/)) + s = substr(s,1,RSTART) "opt" substr(s,RSTART+RLENGTH-1) + if (match(s, /[a-z]opt$/)) + s = substr(s,1,RSTART) "opt" + for (;;) { + while (match(s, noteid-1 "\\)")) { + p = p substr(s,1,RSTART-1) + p = p "" noteid-1 ")" + s = substr(s,RSTART+RLENGTH) + } + if (!match(s, noteid "\\)")) + break if (noteid==1 && s !~ /\.1\)/) break p = p substr(s,1,RSTART-1) @@ -214,6 +241,10 @@ seencontents && !seenfore && /^[^@]/ { } s = p s sub(/^ *Forward references/, "
&", s)
+ if (markdef) {
+ s = "" s "
"
+ markdef = 0
+ }
if (pre)
pre = pre "\n" s
else if (nn)
@@ -225,18 +256,19 @@ seencontents && !seenfore && /^[^@]/ {
END {
ss[sid] = ss[sid] ""
- print "
Footnotes\n" for (j = 1; j <= n; j++) { s = s "
" a[j] ")" note[a[j]+0] "\n" } print s } + print "
Contents" } print ""