17 Nov
2018
17 Nov
'18
2:52 a.m.
On Fri, 16 Nov 2018, Toby Thain wrote:
GNU understood the difference, and wrote separate
manuals (e.g. `info
bash`, `info bison`, etc).
GNU "info" is one of the most non-intuitive interfaces that I've ever had
the displeasure to use. Or maybe that's just me...
-- Dave