gsub(/>/, "\\>")
}
+!title && /^[^@]/ {
+ title = $0
+ gsub(/ +/, " ", title)
+ gsub(/Committee Draft --/, "", title)
+}
+
/^@sect Contents/ {
ss[sid] = ss[sid] "</pre>\n"
seencontents = 1
sid++
getline
ss[sid] = ss[sid] "<h1>" $0 "</h1>\n"
- title = $0
if (!seencontents) {
ss[sid] = ss[sid] "<pre>\n"
}
END {
ss[sid] = ss[sid] "</pre>"
- print "<html><head><title>C</title></head><body>"
+ print "<html><head><title>" title "</title></head><body>"
for (i = 1; i <= sid; i++) {
print ss[i]
-<html><head><title>C</title></head><body>
+<html><head><title>WG14/N1256 Septermber 7, 2007 ISO/IEC 9899:TC3</title></head><body>
<pre><!--page 1 indent 0-->
WG14/N1256 Committee Draft -- Septermber 7, 2007 ISO/IEC 9899:TC3
-<html><head><title>C</title></head><body>
+<html><head><title>N1548 December 2, 2010 ISO/IEC 9899:201x</title></head><body>
<pre><!--page 1 indent 0-->
N1548 Committee Draft -- December 2, 2010 ISO/IEC 9899:201x