Re: terminal escapes in Info files?

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Date: 28 Oct 2003 12:56:31 -0500
> 
> > Because it allows features such as index search that are not
> > available in HTML,
> 
> Huh?  Why don't the HTML pages generated by makeinfo allow index search?

Because HTML browsers don't know about Info indices.

> Existing HTML browsers suck, but that doesn't mean we can't use the HTML
> markup with a specially designed Info viewer (which might not even need to
> understand 100% of HTML).

We were talking about existing readers, perhaps modified a bit, not
about inventing a new reader.

> This does not answer my question: why enhance the Info format
> rather than change the readers (to use the HTML output of makeinfo
> rather than the Info output) ?

Because, as Karl pointed out, we already have that.