From b6d969fa58fbe8cc6dc073a9b68b21ff2b793c81 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 19 Jan 2020 22:05:51 +0100
Subject: [PATCH] Makefile: Support DESTDIR

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 8b7b0f5..e167c0e 100644
--- a/Makefile
+++ b/Makefile
@@ -3,6 +3,7 @@ YEAR=2018
 BUILD_DATE:=$(shell date '+%Y-%m-%d')
 BUILD_COMMIT:=$(shell if git rev-parse >/dev/null 2>/dev/null ; then git describe --always --tags ; else echo '<unknown>' ; fi)
 
+DESTDIR=
 PREFIX=/usr/local
 BINDIR=$(PREFIX)/bin
 MANDIR=$(PREFIX)/share/man
@@ -38,9 +39,9 @@ clean:
 	rm -f *.tar.gz
 
 install: all
-	install -d $(BINDIR) $(MANDIR)/man1
-	install -s paperjam $(BINDIR)/
-	install -m 644 paperjam.1 $(MANDIR)/man1/
+	install -d $(DESTDIR)$(BINDIR) $(DESTDIR)$(MANDIR)/man1
+	install -s paperjam $(DESTDIR)$(BINDIR)/
+	install -m 644 paperjam.1 $(DESTDIR)$(MANDIR)/man1/
 
 release:
 	git tag v$(VERSION)
-- 
2.39.2