diff options
Diffstat (limited to 'src/doctokenizer.l')
| -rw-r--r-- | src/doctokenizer.l | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/doctokenizer.l b/src/doctokenizer.l index 34f82a2..86889dc 100644 --- a/src/doctokenizer.l +++ b/src/doctokenizer.l @@ -522,6 +522,11 @@ REFWORD ("#"|"::")?({ID}("."|"#"|"::"|"-"))*({ID}(":")?){FUNCARG}? */ goto find_rule; } +<St_Para,St_Text>"operator"/{BLANK}*"<"[a-zA-Z_0-9]+">" { // Special case: word "operator" followed by a HTML command + // avoid interpretation as "operator <" + g_token->name = yytext; + return TK_WORD; + } /*******************************************************/ |