Re: Variable pitch mode line

[Stefan Monnier]

>> 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.
Any reason why they insist on using multiple files?
Would these reasons be influenced by a change in Emacs such that
multi-file Info manuals can't be browsed any more?


        Stefan