Re: makeinfo and expansion of @html in section name

[Dumas Patrice]

On Tue, Jun 17, 2003 at 06:36:58PM -0400, Karl Berry wrote:
>     @section  macro expanded @html
>     html text
>     @end html
> 
> This isn't allowed.  @html is a multiline command and @section's
> argument has to be on one line.  So they're fundamentally incompatible.
> (You couldn't put an @example or any other environment in a @section
> title either.)
> 
> So I'm not sure there's a bug here?

I totally agree, this shouldn't be allowed. And when generating info 
makeinfo rightly disagree:

makeinfo_macros_expand_section.texi:17: Expected `
@end html'.
makeinfo_macros_expand_section.texi:17: Unmatched address@hidden'.

But when generating html there is no error, I think that there should be
the same error than for makeinfo producing info. In fact a more precise
error message like "No multiline command allowed in @section" would 
even be better but that would be a must.

Pat