> DESTDIR has been hardcoded to an empty string, so any definition in the environment is blocked. The only place it currently works is with the user guide documentation.
It is not hard-coded to an empty string, because GNU make will leave the value when it
comes from the environment. So
make DESTDIR=… install
works as expected.
regards
Emmanuel