diff options
| author |  Kai Ruemmler <kai.ruemmler@gmx.net> | 2005-10-08 15:54:37 -0700 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2005-10-08 15:54:37 -0700 |
| commit | d2b8593fd3754cf2e0b9a121fe6ba63bfefa3a47 (patch) | |
| tree | 3d9eb6fa46124b7e950ce29992a8ce79ef54a168 /Documentation/Makefile | |
| parent | Yank writing-back support from gitfakemmap. (diff) | |
| download | tgif-d2b8593fd3754cf2e0b9a121fe6ba63bfefa3a47.tar.xz | |
make $prefix available for sub-makefiles
exports $prefix and makes Documentation/Makefile following it also.
Signed-off-by: Kai Ruemmler <kai.ruemmler@gmx.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index bb21d6af44..3cfa360a9e 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -17,14 +17,14 @@ DOC_HTML += $(patsubst %,%.html,$(ARTICLES) $(SP_ARTICLES)) DOC_MAN1=$(patsubst %.txt,%.1,$(MAN1_TXT)) DOC_MAN7=$(patsubst %.txt,%.7,$(MAN7_TXT)) -prefix=$(HOME) +prefix?=$(HOME) bin=$(prefix)/bin mandir=$(prefix)/man man1=$(mandir)/man1 man7=$(mandir)/man7 # DESTDIR= -INSTALL=install +INSTALL?=install # # Please note that there is a minor bug in asciidoc. |