>> I think you can set the variables INSTALL_PATH, MAN_INSTALL_PATH and >> DOC_INSTALL_PATH instead. > > Unfortunately, the variables are defined with `=` instead of `?=`, so > the Makefile always overwrites them. We would also want to skip > installing the `sha1' tool like Debian does, since `sha1sum' is already > a thing. Not if they are passed on the command line, see: https://www.gnu.org/software/make/manual/html_node/Overriding.html Mathieu