On Wed, Dec 29, 2021 at 01:25:15PM +0000, Gavin Smith wrote: > At least you and Alan in that thread find the current state of affairs > unsatisfactory. I agree the effect of @documentencoding UTF-8 in > enabling Unicode quote characters and a few others is not documented > well and has confusing interactions with the likes of --enable-encoding > and so on. > > I will try to add a customization variable for this. I don't expect it > would be that difficult. > > I think Unicode directional quotes should be turned on by > default, simply because people would be upset if documents with > '@documentencoding UTF-8' suddenly stopped having them. (If Info > had never had Unicode directional quotes I would have opposed changing to > output them because they are unnecessary in a plain text format, but by > now far too many people will be used to having them and would view a > change back to 'this' or `this' as a regression.) >
Done in 03a78a01c8. The name of the NO_UTF8_PUNCTUATION variable can change if there are better ideas (technically speaking any ASCII punctuation is also UTF-8 punctuation too). I'm going to try to integrate it with the rest of the code a bit better.
