makeinfo and expansion of @html in section name

[Dumas Patrice]

Hi,

I use texinfo-4.5.
This is a bug report similar to Akim's one. @html in section name isn't
handled the same when in macro expansion or not.

I call makeinfo with html generation:
makeinfo --html makeinfo_macros_expand_section.texi

I have the following macro:

@macro bidule
@html
<u>html text</u>
@end html 
@end macro

I call it within a @section:

@section macro expansion @bidule

The resulting html is 
<h3 class="section"> macro expansion <u>html text</u>
</h3>

When @html is put as is, like in

@section  macro expanded @html
html text
@end html

the result is
<h3 class="section">macro expanded </h3>

   html text

although the result should have been the same.

And when I call makeinfo without --html I get:

address@hidden tmp]$ makeinfo makeinfo_macros_expand_section.texi 
makeinfo_macros_expand_section.texi:17: Expected `
@end html'.
makeinfo_macros_expand_section.texi:17: Unmatched address@hidden'.
makeinfo: Removing output file `makeinfo_macros_expand_section.info' due to 
errors; use --force to preserve.

My personnal point of view is that the correct behaviour is this 
behaviour, that is, an error.

A file with these constructs is attached.

Pat

makeinfo_macros_expand_section.texi
Description: TeXInfo document