X-Git-Url: http://nsz.repo.hu/git/?p=c-standard;a=blobdiff_plain;f=tohtml.sh;h=6531b6023362a663a4aab2844bd67a4af1f7d768;hp=1eee1d298a9187278e04aaaaaeaa9a12fdf24394;hb=0b7a1b9887c6d0b4bce83b50a62f872245a303b7;hpb=17cf8804ce9a599dd8c41bf83515a2068ccc01f3
diff --git a/tohtml.sh b/tohtml.sh
index 1eee1d2..6531b60 100755
--- a/tohtml.sh
+++ b/tohtml.sh
@@ -1,93 +1,3 @@
#!/bin/sh
-export LC_ALL=C
-sed 's/&/\&/g;s//\>/g' | awk '
-BEGIN {
- getline
- print "" $0 ""
- 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)
- l = substr(s,RSTART+1,RLENGTH-1)
- if (l ~ /[4-9][0-9]/ || l ~ /[0-3][0-9][0-9]/ || substr(s,RSTART+RLENGTH,1) ~ /[a-zA-Z]/)
- p = p l
- else
- p = p "" l ""
- s = substr(s,RSTART+RLENGTH)
- }
- s = p s
- p = ""
- while (match(s, /<[a-zA-Z0-9_]*\.h>/)) {
- p = p substr(s,1,RSTART-1)
- h = substr(s,RSTART,RLENGTH)
- if (h in header)
- p = p "" h ""
- else
- p = p h
- s = substr(s,RSTART+RLENGTH)
- }
- print p s
-}'
+./annot.sh | ./ann2html.sh