diff -up texinfo-7.0.2/tp/Texinfo/ParserNonXS.pm.orig texinfo-7.0.2/tp/Texinfo/ParserNonXS.pm --- texinfo-7.0.2/tp/Texinfo/ParserNonXS.pm.orig 2023-01-22 11:42:42.000000000 +0100 +++ texinfo-7.0.2/tp/Texinfo/ParserNonXS.pm 2023-02-22 12:22:13.711852621 +0100 @@ -4357,6 +4357,7 @@ sub _process_remaining_on_line($$$$) and ($current->{'parent'}->{'type'} eq 'menu_comment' or $current->{'parent'}->{'type'} eq 'menu_entry_description') and $asterisk + and $current->{'contents'} and @{$current->{'contents'}} and $current->{'contents'}->[-1]->{'type'} and $current->{'contents'}->[-1]->{'type'} eq 'empty_line'