diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2010-08-22 19:30:14 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2010-08-22 19:30:14 (GMT) |
| commit | 20bc00a80ad6bcda730a1762c3700c8f63fa16eb (patch) | |
| tree | e5faa5e8d675f525b1cd2f397645136f8193b36f /src/commentcnv.l | |
| parent | 4ad0d24c5b3a0afd99722ae5c33968ff9fa44e2d (diff) | |
| download | Doxygen-20bc00a80ad6bcda730a1762c3700c8f63fa16eb.zip Doxygen-20bc00a80ad6bcda730a1762c3700c8f63fa16eb.tar.gz Doxygen-20bc00a80ad6bcda730a1762c3700c8f63fa16eb.tar.bz2 | |
Release-1.7.1-20100822
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); } |