[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: terminal escapes in Info files?

From: Eli Zaretskii
Subject: Re: terminal escapes in Info files?
Date: Tue, 28 Oct 2003 22:34:14 +0200

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]