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