|
From: | Stefan Kangas |
Subject: | Re: Variable pitch mode line |
Date: | Thu, 23 Dec 2021 09:52:42 -0800 |
Juri Linkov <juri@linkov.net> writes: > But the problem is that most GNU/Linux distributions still don't include > Info manuals in the HTML format alongside with the Info format. > Thus we are stuck with monospaced Info manuals forever. Someone (TM) should file bugs for that against the major distributions.
[Prev in Thread] | Current Thread | [Next in Thread] |