diff options
| -rw-r--r-- | src/doctokenizer.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doctokenizer.l b/src/doctokenizer.l index 70f2bd1..7c28907 100644 --- a/src/doctokenizer.l +++ b/src/doctokenizer.l @@ -610,7 +610,7 @@ RCSID "$"("Author"|"Date"|"Header"|"Id"|"Locker"|"Log"|"Name"|"RCSfile"|"Revisio g_token->indent = computeIndent(text,dotPos); return TK_ENDLIST; } -<St_Para>"{"{BLANK}*"@link"/{BLANK}+ { +<St_Para>"{"{BLANK}*"@link"/{WS}+ { g_token->name = "javalink"; return TK_COMMAND_AT; } |