[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: |
Sun, 10 Oct 2021 16:17:01 +0200 |
On Sun, Oct 10, 2021 at 10:18:39AM +0000, Alan Mackenzie wrote:
> Hello, Jacob.
>
> I have not yet figured out how to add a new command line option. I
> envisage the new option being called --enable-utf8-punctuation, with a
> default value of ON.
>
> So, my question. Are the maintainers of Texinfo, in principle, willing
> to accept such an enhancement and to include it in future release
> versions?
You can already use --disable-encoding, but it has other consequences
than keeping the literal ` and '.
For simple quoted strings, you should be able to pass
-c OPEN_QUOTE_SYMBOL=` -c CLOSE_QUOTE_SYMBOL='
(with proper shell script quoting) to set the quotes. Would that be
enough?
--
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 <=
- 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, 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/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