Hello, Gavin.
On Mon, Oct 11, 2021 at 16:43:21 +0100, Gavin Smith wrote:
> On Mon, Oct 11, 2021 at 11:35:06AM +, Alan Mackenzie wrote:
> > If there are any other formatting characters above 0x7f inserted by
> > Texinfo, I would also like their "ASCII" equivalents to be used instead.
> I've
On Mon, Oct 11, 2021 at 11:35:06AM +, Alan Mackenzie wrote:
> If there are any other formatting characters above 0x7f inserted by
> Texinfo, I would also like their "ASCII" equivalents to be used instead.
I've checked with a test file and the output without @documentencoding
is close to what y
Hello, Pat.
On Mon, Oct 11, 2021 at 13:44:40 +0200, Patrice Dumas wrote:
> On Mon, Oct 11, 2021 at 11:35:06AM +, Alan Mackenzie wrote:
> > 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-
On Mon, Oct 11, 2021 at 11:35:06AM +, 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_
> chara
Hello, Gavin.
On Mon, Oct 11, 2021 at 07:28:14 +0100, Gavin Smith wrote:
> On Sun, Oct 10, 2021 at 02:59:39PM +, Alan Mackenzie wrote:
> > Thanks, I didn't know about these! But that would still leave the
> > various forms of double quotes, the EM-DASH, and a few other things
> > in the Unico
