bug#33967: [Feature Request] Use proportional fonts in Info-mode

[Eli Zaretskii]

> From: Juri Linkov <juri@linkov.net>
> Cc: "Alex Griffin" <a@ajgrf.com>,  33967@debbugs.gnu.org
> Date: Sat, 05 Jan 2019 23:51:54 +0200
> 
> > AFAIK, there's work under way to improve the HTML output so that it
> > could provide the features we want from a GNU manual reader, and then
> > switch the GNU Info readers to supporting that.  But this is a
> > long-term goal, and cannot be reached by changes in Emacs alone.
> 
> It's easy to add HTML support to the Emacs Info reader
> with the help of shr.el HTML renderer, but I guess this
> should wait until the stand-alone Info reader supports HTML.

The problem is not to render HTML per se, the problem is to support
the Info features like index search in HTML, something I don't know
what would it take until we see what makeinfo emits.