Barak A. Pearlmutter Mon, 04 Oct 2021 00:54:15 -0700
close 992438 1.3-4 thanks The executable passed to help2man must be referred to as ./gmi not just gmi, and make seems to strip off the ./, so it must be explicitly included.