diff options
Diffstat (limited to 'src/commentscan.l')
| -rw-r--r-- | src/commentscan.l | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/commentscan.l b/src/commentscan.l index c656c9e..0ca293c 100644 --- a/src/commentscan.l +++ b/src/commentscan.l @@ -1181,7 +1181,7 @@ RCSTAG "$"{ID}":"[^\n$]+"$" addOutput(yytext); } } -<Comment>{B}*("\\\\"|"@@")"f"[$\[{] { // escaped formula command +<Comment>{B}*({CMD}{CMD})"f"[$\[{] { // escaped formula command addOutput(yytext); } <Comment>{B}*{CMD}"~"[a-z_A-Z-]* { // language switch command @@ -1805,7 +1805,7 @@ RCSTAG "$"{ID}":"[^\n$]+"$" g_sectionTitle+=yytext; addOutput(yytext); } -<SectionTitle>("\\\\"|"@@"){ID} { // unescape escaped command +<SectionTitle>({CMD}{CMD}){ID} { // unescape escaped command g_sectionTitle+=&yytext[1]; addOutput(yytext); } |