Allow INSTALL, bindir, mandir to be set in main Makefile

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 2b0efe7921b61fa3c3c84273054112373aac75ba..ca6b77df286fa724a6fe93f07f2833288bc68f84 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -25,8 +25,8 @@ DOC_MAN1=$(patsubst %.txt,%.1,$(MAN1_TXT))
 DOC_MAN7=$(patsubst %.txt,%.7,$(MAN7_TXT))
 
 prefix?=$(HOME)
-bin=$(prefix)/bin
-mandir=$(prefix)/man
+bindir?=$(prefix)/bin
+mandir?=$(prefix)/man
 man1=$(mandir)/man1
 man7=$(mandir)/man7
 # DESTDIR=