Re: Texinfo translation error, texinfo_document domain

2022-10-31 Thread Bruno Haible
Patrice Dumas wrote: > Beware that this has changed in the forthcoming release in which UTF-8 > is considered as preferred. Cool! > > 3) "For maximum portability of Texinfo documents across the many different > > user > > environments in the world, we recommend sticking to 7-bit ASCII in the >

Re: Texinfo translation error, texinfo_document domain

2022-10-31 Thread Patrice Dumas
On Tue, Nov 01, 2022 at 12:47:22AM +0100, Bruno Haible wrote: > Hi Patrice, > > Patrice Dumas wrote: > > > My complaint was only about the (apparent / confused) need to use TeXinfo > > > syntax *for non-ASCII characters*. > > > > It should only be required for non-ASCII characters if the

Re: Texinfo translation error, texinfo_document domain

2022-10-31 Thread Bruno Haible
Hi Patrice, Patrice Dumas wrote: > > My complaint was only about the (apparent / confused) need to use TeXinfo > > syntax *for non-ASCII characters*. > > It should only be required for non-ASCII characters if the encoding of the > po file is us-ascii, for example in pt_BR.us-ascii.po the