[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 15:43:12 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Manuel Giraud <manuel@ledu-giraud.fr>
>> Cc: emacs-devel@gnu.org
>> Date: Tue, 24 Oct 2023 14:28:30 +0200
>>
>> 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)
>
> AFAICT, the new default behavior does only the second part of this.
My bad. From one of the links you post, I understood that it was for
both curly quotes. Then I change my vote for the old behaviour
(i.e. produce LEFT and RIGHT SINGLE QUOTATION MARK) which, at least,
seems more consistent.
--
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, 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, 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/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