X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=tohtml.sh;h=6531b6023362a663a4aab2844bd67a4af1f7d768;hb=9eae6a02493d1a41bd342896607a1a0891bd23ca;hp=1b2b2b7277f9e783b4efd4b42d3bf9c74c2e3c17;hpb=7b66d3ad4645f68fd8dc1848c28c7256550cc181;p=c-standard diff --git a/tohtml.sh b/tohtml.sh index 1b2b2b7..6531b60 100755 --- a/tohtml.sh +++ b/tohtml.sh @@ -1,103 +1,3 @@ #!/bin/sh -export LC_ALL=C -sed 's/&/\&/g;s/\</g;s/>/\>/g' | awk ' -BEGIN { - getline - print "
" - print - - while (getline == 1) { - if ($0 ~ /^Contents/) - break - print - } - print "Contents" - - while (getline == 1) { - id = $1 - if (id ~ /Annex/) - id = $2 - if (id ~ /^([1-9A-Z]|Index|Foreword|Introduction|Bibliography)/) { - if (match($0, /<[a-zA-Z0-9_]*\.h>/)) { - h=substr($0,RSTART,RLENGTH) - if (!(h in header)) - header[h] = id - } - if (id ~ /\.$/) - id = substr(id,1,length(id)-1) - s = "" $0 - if ($(NF-1) == ".") - print s "" - else{ - print s - getline - print $0 "" - } - if (id == "Index") - break - } else - print - } -} - -!seenindex && /^ *([1-9A-Z]\.|Annex|Index|Foreword|Introduction|Bibliography)/ { - id = $1 - if (id ~ /Annex/) - id = $2 - if (($0 ~ /^ [1-9]\./ || id ~ /^([A-Z]|[1-9A-Z]\.[1-9][0-9.]*|Index|Foreword|Introduction|Bibliography)$/) && - (NF==1 || $2 ~ /^[A-Z]/)) { - if (id ~ /\.$/) - id = substr(id,1,length(id)-1) - print "" $0 "" - if (id == "Index") - seenindex=1 - next - } -} - -/^\[page / { - p = substr($2,1,length($2)-1) - print "[page " p "] (Contents)" - next -} - -{ - s = $0 - p = "" - if (seenindex) - r = "[ (][A-Z1-9][0-9.]*" - else - r = "[ (][A-Z1-9]\\.[0-9.]*[0-9]" - while (match(s, r)) { - p = p substr(s,1,RSTART) - m = substr(s,RSTART+1,RLENGTH-1) - if (m ~ /[4-9][0-9]/ || m ~ /[0-3][0-9][0-9]/ || substr(s,RSTART+RLENGTH,1) ~ /[a-zA-Z\-]/) - p = p m - else - p = p "" m "" - s = substr(s,RSTART+RLENGTH) - } - s = p s - p = "" - while (match(s, /[Aa]nnex [A-Z]/)) { - p = p substr(s,1,RSTART-1) - m = substr(s,RSTART,RLENGTH) - p = p "" m "" - s = substr(s,RSTART+RLENGTH) - } - s = p s - p = "" - while (match(s, /<[a-zA-Z0-9_]*\.h>/)) { - p = p substr(s,1,RSTART-1) - m = substr(s,RSTART,RLENGTH) - if (m in header) - p = p "" m "" - else - p = p m - s = substr(s,RSTART+RLENGTH) - } - print p s -} - -END { print "" }' +./annot.sh | ./ann2html.sh