_opt fix

diff --git a/ann2html.sh b/ann2html.sh
index d5f9042..b628fe6 100755 (executable)
--- a/ann2html.sh
+++ b/ann2html.sh
@@ -212,7 +212,7 @@ seencontents && !seenfore && /^[^@]/ {
        s = p s
        p = ""
        # TODO: false positives..
        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>"
                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 (file)
--- 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>
 <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.
 </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.