[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 10:02:46 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
[...]
> What do people think about this?
I vote for keeping the old behaviour for "--" to "–" because, as Stefan
said, it is more typographically correct.
For ` and ', I think we should take the new behaviour. It is less
unsettling than the en-dash and while a "C-s Don't" works out of the box
in Info-mode it does not work with "M-x occur" for instance.
--
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, Alan Mackenzie, 2023/10/23
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 <=
Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/24