Skip to content

Commit b013335

Browse files
raimueingydotnet
authored andcommitted
Makefile: install man page to $(git --man-path)
For consistency, install man page to the same path that git uses.
1 parent 21434bc commit b013335

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

Makefile

+1-3
Original file line numberDiff line numberDiff line change
@@ -16,15 +16,13 @@ EXTS = $(shell find $(EXT) -type f) \
1616
$(shell find $(EXT) -type l)
1717
SHARE = share
1818

19-
# XXX Make these vars look like git.git/Makefile style
20-
PREFIX ?= /usr/local
2119
# XXX Using sed for now. Would like to use bash or make syntax.
2220
# If GIT_EXEC_PATH is set, `git --exec-path` will contain that appended to the
2321
# front. We just want the path where git is actually installed:
2422
INSTALL_LIB ?= $(shell git --exec-path | sed 's/.*://')
2523
INSTALL_CMD ?= $(INSTALL_LIB)/$(NAME)
2624
INSTALL_EXT ?= $(INSTALL_LIB)/$(NAME).d
27-
INSTALL_MAN1 ?= $(PREFIX)/share/man/man1
25+
INSTALL_MAN1 ?= $(shell git --man-path | sed 's/.*://')/man1
2826

2927
##
3028
# User targets:

0 commit comments

Comments
 (0)