Re: Variable pitch mode line

[Eli Zaretskii]

> From: Stefan Kangas <stefankangas@gmail.com>
> Date: Thu, 23 Dec 2021 09:52:42 -0800
> Cc: Lars Ingebrigtsen <larsi@gnus.org>, emacs-devel@gnu.org
> 
> Juri Linkov <juri@linkov.net> writes:
> 
> > But the problem is that most GNU/Linux distributions still don't include
> > Info manuals in the HTML format alongside with the Info format.
> > Thus we are stuck with monospaced Info manuals forever.
> 
> Someone (TM) should file bugs for that against the major distributions.

It's not a simple bug, and I'm not sure distro packagers can alone
make this happen.  The Texinfo project has no good system for
installing HTML-formatted documentation in a way that links between
manuals work reliably.