aboutsummaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorPetr Baudis <pasky@suse.cz>2005-08-05 01:56:38 +0200
committerJunio C Hamano <junkio@cox.net>2005-08-12 10:38:23 -0700
commita682ef9f06075b4bb83dcf479c91d578125084b9 (patch)
tree2d9999f8bcbb038fbf8837eceb0d6da076e33351 /Documentation
parentb05701c5b4c7983ef04d8c286c65089596553bd6 (diff)
downloadgit-a682ef9f06075b4bb83dcf479c91d578125084b9.tar.gz
git-a682ef9f06075b4bb83dcf479c91d578125084b9.tar.xz
[PATCH] Use $DESTDIR instead of $dest
$DESTDIR is more usual during the build than $dest and is what is usually used in the makefiles, so let's use it too. Signed-off-by: Petr Baudis <pasky@ucw.cz> Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/Makefile7
1 files changed, 4 insertions, 3 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index 4798933a4..c887ded6a 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -11,6 +11,7 @@ bin=$(prefix)/bin
mandir=$(prefix)/man
man1=$(mandir)/man1
man7=$(mandir)/man7
+# DESTDIR=
INSTALL=install
@@ -33,9 +34,9 @@ man1: $(DOC_MAN1)
man7: $(DOC_MAN7)
install:
- $(INSTALL) -m755 -d $(dest)/$(man1) $(dest)/$(man7)
- $(INSTALL) $(DOC_MAN1) $(dest)/$(man1)
- $(INSTALL) $(DOC_MAN7) $(dest)/$(man7)
+ $(INSTALL) -m755 -d $(DESTDIR)/$(man1) $(DESTDIR)/$(man7)
+ $(INSTALL) $(DOC_MAN1) $(DESTDIR)/$(man1)
+ $(INSTALL) $(DOC_MAN7) $(DESTDIR)/$(man7)
# 'include' dependencies
git-diff-%.txt: diff-format.txt diff-options.txt