Re: HTML info

[Juri Linkov]

Eli Zaretskii <eliz@gnu.org> writes:

> I think a new package would be cleaner.  It can always borrow ideas
> and even code from info*.el, as appropriate.

Lars Ingebrigtsen <larsi@gnus.org> writes:

> > 3. Completely duplicate all top Info commands in a new package
> >    info-html.el.
>
> I think that's best.

Fine.  Anyone wants to write such a package?  It would be nice to
include it in the core to be able to display Emacs manuals with
variable pitch fonts.