[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Avoid apostrophe being output as non-ASCII quote in Info output
|
From: |
Gavin Smith |
|
Subject: |
Re: Avoid apostrophe being output as non-ASCII quote in Info output |
|
Date: |
Mon, 27 Feb 2023 19:11:11 +0000 |
On Sun, Feb 26, 2023 at 01:29:46PM +0000, Gavin Smith wrote:
> I added it as NO_GRATUITIOUS_UTF8, although it may be better to make the
> "super-option" "ASCII_PUNCTUATION" (the original variable), and rename
> the current ASCII_PUNCTUATION to something else, e.g.
> 'ASCII_DASHES_AND_QUOTES'.
I've made this swap-around.