Re: Variable pitch mode line

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: juri@linkov.net,  larsi@gnus.org,  emacs-devel@gnu.org,  tsdh@gnu.org
> Date: Thu, 23 Dec 2021 15:12:39 -0500
> 
> >> 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.
> 
> It's technically easy to change, AFAIK.

Technically, yes.

> Any reason why they insist on using multiple files?

No idea.

> Would these reasons be influenced by a change in Emacs such that
> multi-file Info manuals can't be browsed any more?

I don't know.