Re: Texinfo translation error, texinfo_document domain

[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 
> > input"
> > Is this recommendation still relevant (in view of the Japanese and Chinese 
> > support)?
> 
> This has been removed already.

Cool again!

With this, most of the confusion should be gone. Thanks!!

Bruno