Re: [bug #42897] texi2any does not bark at incorrect menu entry, and makes erroneous info output

[Karl Berry]

    One more time: where is the info file format documented ? 

Gavin answered this.  But let me say that what we wrote there does not
override actual practice in the programs.  Mistakes in the documentation
are quite possible; we wrote it just a couple years ago, after decades
of Info being in existence.

Anyway, we'll have to think about the case you are presenting.

Thanks,
k