Re: terminal escapes in Info files?

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> Date: Wed, 29 Oct 2003 23:19:31 -0500
> 
> If we combine this idea with the idea of using an ESC character before
> each <...> sequence, perhaps the result could be such that we can make
> the info reader handle old info files correctly also.

I doubt that.  Currently, unless invoked with the -R switch, the
standalone reader converts ESC into the ASCII string "^[", but doesn't
remove anything else.  So you will see "^[<...>" for each such
sequence.

Or am I missing something?