Re: makeinfo bug

[Karl Berry]

Patrice,

Back in August we had the report about @*heading inside indented blocks,
  http://lists.gnu.org/archive/html/bug-texinfo/2014-08/msg00043.html
as in:

@example
before heading
@heading hd inside example
before heading
@end example

I had made this fail in texinfo.tex as a consequence of
https://savannah.gnu.org/bugs/?15514 which was Akim's report about
@section, etc., incorrectly being allowed inside environments.  That's
fine for @section etc., but I think it shouldn't extend to @*heading.
It won't be hard to allow that again.

In makeinfo 4.13, I see that it is allowed, but both the heading text
and the underlines are left-justified, so the output for the above is:
       before heading

hd inside example
=================

     after heading


Basically as if the heading was @exdent{}ed.  Could texi2any do that
too?  That seems like it would be best, on grounds of compatibility.

Wdyt?

Thanks,
Karl