From c0e58d5a10643d96ff049e63cda723b3ac773d2e Mon Sep 17 00:00:00 2001 From: Bastian Krause Date: Wed, 4 Mar 2020 17:43:12 +0100 Subject: [PATCH] Makefile: respect DESTDIR in install destinations See https://www.gnu.org/prep/standards/html_node/DESTDIR.html. This allows build systems such as ptxdist to 'make install' to a location other than /usr. Signed-off-by: Bastian Krause --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 0f4f810..dd93c10 100644 --- a/Makefile +++ b/Makefile @@ -1,9 +1,9 @@ CC=gcc FLAGS=-Wall -O2 EXEC_NAME=beep -INSTALL_DIR=/usr/bin +INSTALL_DIR=${DESTDIR}/usr/bin MAN_FILE=beep.1.gz -MAN_DIR=/usr/share/man/man1 +MAN_DIR=${DESTDIR}/usr/share/man/man1 default : beep