[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: |
Eli Zaretskii |
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
Date: |
Tue, 24 Oct 2023 15:45:06 +0300 |
> 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.
- 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 <=
- 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