[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: rethinking @def*
From: |
pertusus |
Subject: |
Re: rethinking @def* |
Date: |
Sun, 31 Jul 2022 16:59:13 +0200 |
On Sun, Jul 31, 2022 at 03:57:39PM +0100, Gavin Smith wrote:
> 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.
Ok, I'll do something similar in LaTeX too.
--
Pat
- Re: rethinking @def*, (continued)
- Re: rethinking @def*, Gavin Smith, 2022/07/29
- Re: rethinking @def*, Gavin Smith, 2022/07/29
- Re: rethinking @def*, Gavin Smith, 2022/07/29
- Re: rethinking @def*, pertusus, 2022/07/29
- Re: rethinking @def*, Gavin Smith, 2022/07/29
- Re: rethinking @def*, pertusus, 2022/07/31
- Re: rethinking @def*, Gavin Smith, 2022/07/31
- Re: rethinking @def*, pertusus, 2022/07/31
- Re: rethinking @def*, pertusus, 2022/07/31
- Re: rethinking @def*, Gavin Smith, 2022/07/31
- Re: rethinking @def*,
pertusus <=
- Re: rethinking @def*, Gavin Smith, 2022/07/29
- Re: rethinking @def*, Gavin Smith, 2022/07/29
- Re: rethinking @def*, Gavin Smith, 2022/07/26
- Re: rethinking @def*, Eli Zaretskii, 2022/07/26
- Re: rethinking @def*, Gavin Smith, 2022/07/26
- Re: rethinking @def*, Eli Zaretskii, 2022/07/26
Re: rethinking @def*, pertusus, 2022/07/26