diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2007-03-15 10:14:23 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2007-03-15 10:14:23 (GMT) |
| commit | cc52853c15833c9a18be11c140b99d94d9e06e9e (patch) | |
| tree | 5300b179faf00eea740dda6ee3be5343c70b1c79 /src/commentscan.l | |
| parent | eb591296685b8268427173e0a24f74abd987170d (diff) | |
| download | Doxygen-cc52853c15833c9a18be11c140b99d94d9e06e9e.zip Doxygen-cc52853c15833c9a18be11c140b99d94d9e06e9e.tar.gz Doxygen-cc52853c15833c9a18be11c140b99d94d9e06e9e.tar.bz2 | |
Release-1.5.1-20070315
Diffstat (limited to 'src/commentscan.l')
| -rw-r--r-- | src/commentscan.l | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/commentscan.l b/src/commentscan.l index ec58264..105d512 100644 --- a/src/commentscan.l +++ b/src/commentscan.l @@ -170,6 +170,7 @@ static DocCmdMap docCmdMap[] = { "rtfonly", &handleFormatBlock, FALSE }, { "manonly", &handleFormatBlock, FALSE }, { "dot", &handleFormatBlock, TRUE }, + { "msc", &handleFormatBlock, TRUE }, { "code", &handleFormatBlock, TRUE }, { "addindex", &handleAddIndex, TRUE }, { "if", &handleIf, FALSE }, @@ -742,7 +743,7 @@ static int yyread(char *buf,int max_size) /* start command character */ CMD ("\\"|"@") DCMD1 ("arg"|"attention"|"author"|"code") -DCMD2 ("date"|"dot"|"dotfile"|"example") +DCMD2 ("date"|"dot"|"msc"|"dotfile"|"example") DCMD3 ("htmlinclude"|"htmlonly"|"image"|"include") DCMD4 ("includelineno"|"internal"|"invariant") DCMD5 ("latexonly"|"li"|"line"|"manonly"|"name") @@ -1488,7 +1489,7 @@ MAILADR [a-z_A-Z0-9.+\-]+"@"[a-z_A-Z0-9\-]+("."[a-z_A-Z0-9\-]+)+[a-z_A-Z0-9\-] /* ----- handle arguments of the preformatted block commands ------- */ -<FormatBlock>{CMD}("endverbatim"|"endlatexonly"|"endhtmlonly"|"endxmlonly"|"endrtfonly"|"endmanonly"|"enddot"|"endcode")/{NW} { // possible ends +<FormatBlock>{CMD}("endverbatim"|"endlatexonly"|"endhtmlonly"|"endxmlonly"|"endrtfonly"|"endmanonly"|"enddot"|"endcode"|"endmsc")/{NW} { // possible ends addOutput(yytext); if (&yytext[4]==blockName) // found end of the block { |