Re: Variable pitch mode line

[Juri Linkov]

>> 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.

Why HTML files couldn't be installed in the same dir where all files
in the Info format are installed?  Then it's the task of the Info reader
to handle links between manuals in the HTML format the same way as
links in the Info format are handled by the Info reader.