Re: rethinking @def*

[Werner LEMBERG]

> Another reason for changing the formatting is that there is a new
> output format being implemented, to LaTeX.  Should the 'flawed'
> semantics be used for that new output format too, mimicking TeX
> output even when it does not make sense?

IMHO, it's quite simple: All output formats, i.e., TeX, HTML, and the
new LaTeX backend, should produce identical output if technically
possible – and for LaTeX it's definitely possible :-) Anything else
makes texinfo harder to use.


    Werner