Re: Variable pitch mode line

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Lars Ingebrigtsen <larsi@gnus.org>,  emacs-devel@gnu.org,  Tassilo Horn
>  <tsdh@gnu.org>
> Date: Thu, 23 Dec 2021 14:50:26 -0500
> 
> >> Perhaps, or perhaps they'll want to have Info pages that look prettier.
> > I don't believe that distro packagers might want to include Info manuals
> > in the HTML format when only Emacs will display them but not the standalone
> > Info reader.
> 
> I'm not sure they include Info manuals mainly for the standalone info
> viewer either.  But in any case, currently I don't think any doc viewer
> has a good story for "use HTML as replacement for Info", so it's clear
> that if we want it to happen, we need to start by making Emacs support
> it well.  And only later, *maybe*, distros and other Info viewers will
> follow suit.

FYI: the Texinfo folks are working on JSInfo, a Javascript-based Info
reader that displays the HTML formatted manuals.  It is already
available, on experimental basis, in the latest Texinfo 6.8.

> But, FWIW, I consider multifile Info manuals to be a thing of the past
> and I'd be happy to actively discourage their use.

You can't, because quite some GNU projects still produce multi-file
Info manuals.  Example: GDB.