diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2005-07-21 08:42:44 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2005-07-21 08:42:44 (GMT) |
| commit | 64c0fdd7432f5d9ddd815fbb459c651f6933a2ea (patch) | |
| tree | 0d39615cce00be60a77b797babf9b09b9c6b2a09 /src/commentcnv.l | |
| parent | 7a1074b436cfe0a5e2b49be7d2571e7f5e716243 (diff) | |
| download | Doxygen-64c0fdd7432f5d9ddd815fbb459c651f6933a2ea.zip Doxygen-64c0fdd7432f5d9ddd815fbb459c651f6933a2ea.tar.gz Doxygen-64c0fdd7432f5d9ddd815fbb459c651f6933a2ea.tar.bz2 | |
Release-1.4.4
Diffstat (limited to 'src/commentcnv.l')
| -rw-r--r-- | src/commentcnv.l | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/src/commentcnv.l b/src/commentcnv.l index 9e7f8a4..fa72e3f 100644 --- a/src/commentcnv.l +++ b/src/commentcnv.l @@ -320,18 +320,29 @@ CHARLIT (("'"\\[0-7]{1,3}"'")|("'"\\."'")|("'"[^' \\\n]{1,4}"'")) copyToOutput(yytext,yyleng); BEGIN(CComment); } -<CComment>[\\@]("verbatim"|"latexonly"|"htmlonly"|"xmlonly"|"rtfonly"|"manonly"|"dot"|"code")/[ \r\t\n] { /* start of a verbatim block */ +<CComment>[\\@]("verbatim"|"latexonly"|"htmlonly"|"xmlonly"|"rtfonly"|"manonly"|"dot"|"code"|"f$"|"f[")/[ \r\t\n] { /* start of a verbatim block */ copyToOutput(yytext,yyleng); - g_blockName=&yytext[1]; + if (yytext[2]=='[') + { + g_blockName="f]"; + } + else + { + g_blockName=&yytext[1]; + } g_lastCommentContext = YY_START; BEGIN(Verbatim); } <Scan>. { /* any other character */ copyToOutput(yytext,yyleng); } -<Verbatim>[\\@]("endverbatim"|"endlatexonly"|"endhtmlonly"|"endxmlonly"|"endrtfonly"|"endmanonly"|"enddot"|"endcode") { /* end of verbatim block */ +<Verbatim>[\\@]("endverbatim"|"endlatexonly"|"endhtmlonly"|"endxmlonly"|"endrtfonly"|"endmanonly"|"enddot"|"endcode"|"f$"|"f]") { /* end of verbatim block */ copyToOutput(yytext,yyleng); - if (&yytext[4]==g_blockName) + if (yytext[1]=='f') // end of formula + { + BEGIN(g_lastCommentContext); + } + else if (&yytext[4]==g_blockName) { BEGIN(g_lastCommentContext); } |