On Tue, Oct 18, 2022 at 09:55:45PM +0200, Hilmar Preuße wrote: > Am 17.10.2022 um 22:45 teilte Gavin Smith mit: > > Hi Gavin, > > > An improvement would be to check the exit status of "man -a" and if > > not found, to fall back to loading the man page as usual. > > > > I guess you rather want to check for exit status of "man -w", correct? This > sounds like a reasonable idea to me.
I did this in commit ef2eb3589883dc6ced.
