16 Nov
2018
16 Nov
'18
9:52 p.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