[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Loss of search facility in info in newer releases of Texinfo
From: |
Patrice Dumas |
Subject: |
Re: Loss of search facility in info in newer releases of Texinfo |
Date: |
Mon, 11 Oct 2021 13:44:40 +0200 |
On Mon, Oct 11, 2021 at 11:35:06AM +0000, Alan Mackenzie wrote:
> Hello, Gavin.
>
>
> Apologies for not being all that clear in my initial post. I hope I've
> now made it clear what I'm asking for - as an option, of course.
> --disable-encoding does not do what I want - it squeezes _all_
> characters into the ASCII range, rather than just the Texinfo formatting
> characters.
It does not change the characters in the text, only the characters
formatted by texi2any. Which conversion is not ok for you with
--disable-encoding?
> > If you remove "@documentencoding UTF-8" from a file, the file is still
> > assumed to be in UTF-8, but less Unicode is used in the output where it
> > is not necessary. Does that help?
>
> Not really. I've got too many info files on my system (Gentoo
> GNU/Linux) to remove that directive from them all each time there's a
> new version of the file.texi.
But does the output obtained when removing "@documentencoding UTF-8"
from the file suit you?
--
Pat
- Loss of search facility in info in newer releases of Texinfo, Alan Mackenzie, 2021/10/09
- Re: Loss of search facility in info in newer releases of Texinfo, Eli Zaretskii, 2021/10/09
- Re: Loss of search facility in info in newer releases of Texinfo, Jacob Bachmeyer, 2021/10/09
- Re: Loss of search facility in info in newer releases of Texinfo, Eli Zaretskii, 2021/10/10
- Re: Loss of search facility in info in newer releases of Texinfo, Alan Mackenzie, 2021/10/10
- Re: Loss of search facility in info in newer releases of Texinfo, Patrice Dumas, 2021/10/10
- Re: Loss of search facility in info in newer releases of Texinfo, Alan Mackenzie, 2021/10/10
- Re: Loss of search facility in info in newer releases of Texinfo, Gavin Smith, 2021/10/11
- Re: Loss of search facility in info in newer releases of Texinfo, Alan Mackenzie, 2021/10/11
- Re: Loss of search facility in info in newer releases of Texinfo,
Patrice Dumas <=
- Re: Loss of search facility in info in newer releases of Texinfo, Alan Mackenzie, 2021/10/11
- Re: Loss of search facility in info in newer releases of Texinfo, Gavin Smith, 2021/10/11
- Re: Loss of search facility in info in newer releases of Texinfo, Alan Mackenzie, 2021/10/11
- Re: Loss of search facility in info in newer releases of Texinfo, Gavin Smith, 2021/10/18
- Re: Loss of search facility in info in newer releases of Texinfo, Alan Mackenzie, 2021/10/19