diff options
Diffstat (limited to 'src/commentcnv.l')
| -rw-r--r-- | src/commentcnv.l | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/commentcnv.l b/src/commentcnv.l index ab56812..660dae6 100644 --- a/src/commentcnv.l +++ b/src/commentcnv.l @@ -468,6 +468,17 @@ void replaceComment(int offset); <Verbatim,VerbatimCode>\n { /* new line in verbatim block */ copyToOutput(yytext,yyleng); } +<Verbatim,VerbatimCode>^[ \t]*"///" { + if (g_blockName=="dot" || g_blockName=="msc" || g_blockName.at(0)=='f') + { + // see bug 487871, strip /// from dot images and formulas. + copyToOutput(" ",3); + } + else // even slashes are verbatim (e.g. \verbatim, \code) + { + REJECT; + } + } <Verbatim,VerbatimCode>. { /* any other character */ copyToOutput(yytext,yyleng); } |