Re: Variable pitch mode line

[Po Lu]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> Not necessarily -- the HTML-ified info mode doesn't have to parse (and
> render) the entire HTML file.  (There would have to be enough semantic
> information in the HTML file to allow it to identify a node, which
> shouldn't be a problem.)

I haven't had the time to read through this thread, but can someone
assure me that the existing Info format and reader will remain, and that
Emacs documentation will continue to be generated in that format?

It doesn't have to be the only format, but it should still be present.

I also don't understand how an HTML-based Info reader will handle (for
example) I-search through an entire manual without rendering it all in
one go.

My organization has many handwritten Info files, I'm quite used to the
format and reader, and this is probably the case for many other people
as well.

Thanks.