[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: |
Stefan Kangas |
Subject: |
Re: Non-ASCII characters in Info files produced by Texinfo 7.1 |
Date: |
Mon, 23 Oct 2023 12:52:28 -0700 |
Eli Zaretskii <eliz@gnu.org> writes:
> Texinfo 7.1, released a few days ago, changed the behavior wrt
> characters produced from quotes, apostrophes and en- and em-dashes: by
> default, it now produces the ASCII equivalents. So, for example, "--"
> in the Texinfo source remains "--" in the produced Info file, where
> previous versions would produce a real en-dash '–'.
> To revert to previous behavior, we will need to pass an optional
> argument to the makeinfo command in our Makefile's. But before I make
> this change, I would like to know if people here want the new behavior
> or the old one.
I think using "--" instead of "–" would be a step back typographically,
so whichever way we go, I think we should keep that.
IOW, if we want to go with the new behavior (fine by me), we should
s/--/–/ in doc/**/*texi.
> The main reason for this change is that it makes it easier to grep the
> Info files.
BTW, we could make the Emacs Info mode search for – when the user enters
--, for ‘ when the user enters `, and so on. I think that would be a
useful feature.
- Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/23
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1,
Stefan Kangas <=
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Visuwesh, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Stefan Kangas, 2023/10/24
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Visuwesh, 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, Juri Linkov, 2023/10/25
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/25
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Eli Zaretskii, 2023/10/25
- Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Gerd Möllmann, 2023/10/25
Re: Non-ASCII characters in Info files produced by Texinfo 7.1, Alan Mackenzie, 2023/10/23