On Mon, Oct 11, 2021 at 11:35:06AM +0000, Alan Mackenzie wrote: > Hello, Gavin. > > > Apologies for not being all that clear in my initial post. I hope I've > now made it clear what I'm asking for - as an option, of course. > --disable-encoding does not do what I want - it squeezes _all_ > characters into the ASCII range, rather than just the Texinfo formatting > characters.
It does not change the characters in the text, only the characters formatted by texi2any. Which conversion is not ok for you with --disable-encoding? > > If you remove "@documentencoding UTF-8" from a file, the file is still > > assumed to be in UTF-8, but less Unicode is used in the output where it > > is not necessary. Does that help? > > Not really. I've got too many info files on my system (Gentoo > GNU/Linux) to remove that directive from them all each time there's a > new version of the file.texi. But does the output obtained when removing "@documentencoding UTF-8" from the file suit you? -- Pat
