|
From: | Juri Linkov |
Subject: | Re: Variable pitch mode line |
Date: | Thu, 23 Dec 2021 20:38:00 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu) |
>> 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.
[Prev in Thread] | Current Thread | [Next in Thread] |