diff options
author | Jakub Narebski <jnareb@gmail.com> | 2006-06-30 01:26:54 +0400 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-06-30 10:49:16 +0400 |
commit | 7b8cf0cf2973cc8df3bdd36b9b36542b1f04d70a (patch) | |
tree | 0c7f12bd00bce16f0f1df71d6637346c2ecbe59d /Documentation/Makefile | |
parent | e14421b9aa85f11853a0dacae09498515daab7b8 (diff) |
Rename man1 and man7 variables to man1dir and man7dir
This patch renames man1 and man7 variables to man1dir and man7dir,
according to "Makefile Conventions: Variables for Installation
Directories" in make.info of GNU Make.
Signed-off-by: Jakub Narebski <jnareb@gmail.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index ca6b77df28..cc83610588 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -27,8 +27,8 @@ DOC_MAN7=$(patsubst %.txt,%.7,$(MAN7_TXT)) prefix?=$(HOME) bindir?=$(prefix)/bin mandir?=$(prefix)/man -man1=$(mandir)/man1 -man7=$(mandir)/man7 +man1dir=$(mandir)/man1 +man7dir=$(mandir)/man7 # DESTDIR= INSTALL?=install @@ -52,9 +52,9 @@ man1: $(DOC_MAN1) man7: $(DOC_MAN7) install: man - $(INSTALL) -d -m755 $(DESTDIR)$(man1) $(DESTDIR)$(man7) - $(INSTALL) $(DOC_MAN1) $(DESTDIR)$(man1) - $(INSTALL) $(DOC_MAN7) $(DESTDIR)$(man7) + $(INSTALL) -d -m755 $(DESTDIR)$(man1dir) $(DESTDIR)$(man7dir) + $(INSTALL) $(DOC_MAN1) $(DESTDIR)$(man1dir) + $(INSTALL) $(DOC_MAN7) $(DESTDIR)$(man7dir) # |