diff options
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 23611a9..d331fa4 100644 --- a/src/commentcnv.l +++ b/src/commentcnv.l @@ -438,7 +438,7 @@ SLASHopt [/]* } BEGIN(VerbatimCode); } -<CComment,ReadLine>[\\@]("f$"|"f["|"f{") { +<CComment,ReadLine>[\\@]("f$"|"f["|"f{"|"f(") { copyToOutput(yyscanner,yytext,(int)yyleng); yyextra->blockName=&yytext[1]; if (yyextra->blockName.at(1)=='[') @@ -449,6 +449,10 @@ SLASHopt [/]* { yyextra->blockName.at(1)='}'; } + else if (yyextra->blockName.at(1)=='(') + { + yyextra->blockName.at(1)=')'; + } yyextra->lastCommentContext = YY_START; BEGIN(Verbatim); } @@ -467,7 +471,7 @@ SLASHopt [/]* <Scan>. { /* any other character */ copyToOutput(yyscanner,yytext,(int)yyleng); } -<Verbatim>[\\@]("endverbatim"|"endlatexonly"|"endhtmlonly"|"endxmlonly"|"enddocbookonly"|"endrtfonly"|"endmanonly"|"f$"|"f]"|"f}") { /* end of verbatim block */ +<Verbatim>[\\@]("endverbatim"|"endlatexonly"|"endhtmlonly"|"endxmlonly"|"enddocbookonly"|"endrtfonly"|"endmanonly"|"f$"|"f]"|"f}"|"f)") { /* end of verbatim block */ copyToOutput(yyscanner,yytext,(int)yyleng); if (&yytext[1]==yyextra->blockName) // end of formula { |