Re: [OS-BUILD PATCHv2 0/2] redhat: override `make help` to include dist-help