diff options
| author | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2007-03-15 10:14:23 (GMT) |
|---|---|---|
| committer | dimitri <dimitri@afe2bf4a-e733-0410-8a33-86f594647bc7> | 2007-03-15 10:14:23 (GMT) |
| commit | 97a3911e2682bfebeebbb8999c9e3844c414c3e0 (patch) | |
| tree | 5300b179faf00eea740dda6ee3be5343c70b1c79 /src/commentscan.l | |
| parent | f7f03d9491454ddc9b855b8637d482df6bd622c2 (diff) | |
| download | Doxygen-97a3911e2682bfebeebbb8999c9e3844c414c3e0.zip Doxygen-97a3911e2682bfebeebbb8999c9e3844c414c3e0.tar.gz Doxygen-97a3911e2682bfebeebbb8999c9e3844c414c3e0.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 { |