[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Non-ASCII characters in Info files produced by Texinfo 7.1
|
From: |
tomas |
|
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
|
Date: |
Tue, 24 Oct 2023 06:31:32 +0200 |
On Mon, Oct 23, 2023 at 08:49:53PM +0000, Alan Mackenzie wrote:
> Hello, Eli.
[...]
> I have always disliked the replacement of ASCII characters by non-ASCII
> Unicode punctuation in working documents [...]
Not a devel here, by a long stretch, so count me as anecdotal, but I'm
with Alan here.
Cheers
--
t
signature.asc
Description: PGP signature
Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Alan Mackenzie, 2023/10/23
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1,
tomas <=
Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Yuri Khan, 2023/10/24
Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Manuel Giraud, 2023/10/24