Re: rethinking @def*

[Gavin Smith]

On Fri, Jul 29, 2022 at 12:53:53AM +0200, pertusus@free.fr wrote:
> Another issue. The quotes '' and dashes, such as --- are not as in the
> main document, even with @r.  They are in roman when in @r, but
> formatted as three separate -, not an em dash.  This makes sense, as it
> is code.  However, it is not backward compatible, and there is no way to
> get an em dash as before.

I've fixed this issue in texinfo.tex, so that @code{@r{---}} outputs the
long em dash ligature.