Re: HTML info

[Po Lu]

Juri Linkov <juri@linkov.net> writes:

>> I’m a bit confused. In order to have variable-pitch info’s. What do we
>> need to do and what do makeinfo maintainers need to do?

> What we can already do is to at least display Emacs manuals from HTML
> generated by `make html`.

Doesn't Drew Adams (copied in) maintain a package that allows displaying
Info documentation in a variable pitch face?

Thanks.