[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.
- Re: terminal escapes in Info files?, (continued)
Re: terminal escapes in Info files?, Richard Stallman, 2003/10/29
Re: terminal escapes in Info files?, Karl Berry, 2003/10/28
Re: terminal escapes in Info files?, Karl Berry, 2003/10/28
Re: terminal escapes in Info files?, Karl Berry, 2003/10/28
- Re: terminal escapes in Info files?, Stefan Monnier, 2003/10/28
- Re: terminal escapes in Info files?, Oliver Scholz, 2003/10/29
- Re: terminal escapes in Info files?, Eli Zaretskii, 2003/10/29
- Re: terminal escapes in Info files?, Oliver Scholz, 2003/10/29
- Re: terminal escapes in Info files?, Robert J. Chassell, 2003/10/29
- Re: terminal escapes in Info files?, Stefan Monnier, 2003/10/29
- Re: terminal escapes in Info files?, Robert J. Chassell, 2003/10/29
- Re: terminal escapes in Info files?, Stephen J. Turnbull, 2003/10/30
- Re: terminal escapes in Info files?, Robert J. Chassell, 2003/10/30