From: nsz <nsz@port70.net>
Date: Fri, 22 Jul 2011 19:38:27 +0000 (+0200)
Subject: <sub>opt</sub> fix
X-Git-Url: http://nsz.repo.hu/git/?p=c-standard;a=commitdiff_plain;h=40aff381adb8ddc755b6376ee161de120bcb5f5b

<sub>opt</sub> fix
---

diff --git a/ann2html.sh b/ann2html.sh
index d5f9042..b628fe6 100755
--- a/ann2html.sh
+++ b/ann2html.sh
@@ -212,7 +212,7 @@ seencontents && !seenfore && /^[^@]/ {
 	s = p s
 	p = ""
 	# TODO: false positives..
-	while (match(s, /[a-z]opt[ )]/))
+	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>"
diff --git a/n1548.html b/n1548.html
index 8854018..3c52ef1 100644
--- a/n1548.html
+++ b/n1548.html
@@ -9315,7 +9315,7 @@ margin: deleted text is marked with ''*'', new or changed text with '' ''.
 <p><!--para 4 -->
  A preprocessing directive of the form
 <pre>
-    # line digit-sequence "s-char-sequenceopt" new-line
+    # line digit-sequence "s-char-sequence<sub>opt</sub>" new-line
 </pre>
  sets the presumed line number similarly and changes the presumed name of the source
  file to be the contents of the character string literal.