X-Git-Url: http://nsz.repo.hu/git/?p=c-standard;a=blobdiff_plain;f=ann2html.sh;h=b628fe605160df219e0ac03b622531fe0994dbec;hp=500e36a375666eb8fd1e415c06572c7ffbedef72;hb=40aff381adb8ddc755b6376ee161de120bcb5f5b;hpb=1e76e11201fe96db226e6fd39305a42c6300de9b

diff --git a/ann2html.sh b/ann2html.sh
index 500e36a..b628fe6 100755
--- a/ann2html.sh
+++ b/ann2html.sh
@@ -133,7 +133,7 @@ seencontents && !seenfore && /^[^@]/ {
 /^@end pre/ {
 	if (!pre)
 		next
-	pre = pre "</pre>\n"
+	pre = pre "\n</pre>\n"
 	if (nn)
 		note[nn] = note[nn] "\n" pre
 	else
@@ -211,6 +211,11 @@ seencontents && !seenfore && /^[^@]/ {
 	}
 	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)