[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: |
Manuel Giraud |
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
Date: |
Tue, 24 Oct 2023 14:28:30 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> Cc: emacs-devel@gnu.org
>> Date: Tue, 24 Oct 2023 10:02:46 +0200
>> From: Manuel Giraud via "Emacs development discussions."
>> <emacs-devel@gnu.org>
>>
>> For ` and ', I think we should take the new behaviour.
>
> What is "the new behavior for ` and '" that you allude to?
I meant: do not convert ` (GRAVE ACCENT) to ‘ (LEFT SINGLE QUOTATION
MARK) and do not convert ' (APOSTROPHE) to ’ (RIGHT SINGLE QUOTATION
MARK)
--
Manuel Giraud
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, (continued)
- 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
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1,
Manuel Giraud <=
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Manuel Giraud, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Alan Mackenzie, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Alan Mackenzie, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Ulrich Mueller, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/26
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Gregory Heytings, 2023/10/26