From: Mike Frysinger <vapier@gentoo.org>
Date: Fri, 16 Dec 2016 17:08:02 +0000 (-0500)
Subject: Documentation: allow parent PREFIX to override
X-Git-Tag: v1.1~5^2
X-Git-Url: https://www.infradead.org/git/?a=commitdiff_plain;h=b09e6f5c4d748d2be63480ea266b7699bf15d90b;p=users%2Fsagi%2Fnvme-cli.git

Documentation: allow parent PREFIX to override

The current Documentation/Makefile always sets PREFIX to /usr/local.
If the parent Makefile sets it to something else, then it still gets
clobbered.  Change the Makefile to look like the parent and allow the
cascading logic to work.

Signed-off-by: Mike Frysinger <vapier@gentoo.org>
---

diff --git a/Documentation/Makefile b/Documentation/Makefile
index aa5683cc..3e324fb8 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -91,7 +91,7 @@ NO_SUBDIR = :
 endif
 
 DESTDIR =
-PREFIX := /usr/local
+PREFIX ?= /usr/local
 
 all: man html