File tree Expand file tree Collapse file tree 1 file changed +5
-1
lines changed Expand file tree Collapse file tree 1 file changed +5
-1
lines changed Original file line number Diff line number Diff line change @@ -1499,7 +1499,7 @@ STopt [^\n@\\]*
14991499
15001500 /* --------- handle arguments of {def,add,weak}group commands --------- */
15011501
1502- <GroupDocArg1>{LABELID}(".html"?) { // group name
1502+ <GroupDocArg1>{LABELID}(".html"|".xhtml")? { // group name
15031503 yyextra->current->name = yytext;
15041504 //lastDefGroup.groupname = yytext;
15051505 //lastDefGroup.pri = yyextra->current->groupingPri();
@@ -1508,6 +1508,10 @@ STopt [^\n@\\]*
15081508 {
15091509 yyextra->current->name=yyextra->current->name.left(yyextra->current->name.length()-5);
15101510 }
1511+ else if (yyextra->current->name.endsWith(".xhtml"))
1512+ {
1513+ yyextra->current->name=yyextra->current->name.left(yyextra->current->name.length()-6);
1514+ }
15111515 yyextra->current->type.clear();
15121516 BEGIN(GroupDocArg2);
15131517 }
You can’t perform that action at this time.
0 commit comments