🚀 go-pugleaf

Perhaps it would be useful if Makefiles distinguished binary executables
from sharable executables (i.e., shell scripts), by installing into
$(bindir) and, say, $(sharebindir), respectively.

$(sharebindir) could be $(prefix)/bin by default, so that if $(prefix)
and $(exec_prefix) are different, the sharable executables wind up in a
(presumably) sharable directory.

Whatever the default, if the Makefiles used something like this, it
would at least make it relatively painless to share what can be shared.