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 aa5683cc3140aae04138a59f8295610c19c5cbaf..3e324fb8c94b6765b8994063cde22086a9e07023 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -91,7 +91,7 @@ NO_SUBDIR = :
 endif
 
 DESTDIR =
-PREFIX := /usr/local
+PREFIX ?= /usr/local
 
 all: man html