[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: wrong font shape for `@var` in `@example`
From: |
Gavin Smith |
Subject: |
Re: wrong font shape for `@var` in `@example` |
Date: |
Mon, 22 Aug 2022 21:55:22 +0100 |
On Sun, Aug 21, 2022 at 07:59:17PM +0000, Werner LEMBERG wrote:
>
> > It would be easy to add a switch to texinfo.tex that would switch
> > on/off the old behaviour. It would be used like "@set
> > txicodevarttsl" (probably with a better name).
>
> OK.
I've added this as '@set txicodevaristt'. I've tested it
with texi2pdf -t '@set txicodevaristt'.
- Re: wrong font shape for `@var` in `@example`, (continued)
- Message not available
- Re: wrong font shape for `@var` in `@example`, Patrice Dumas, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/21
- Re: wrong font shape for `@var` in `@example`,
Gavin Smith <=
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/22
Fwd: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/21