diff options
author | Wolfgang Müller | 2021-07-19 15:59:52 +0200 |
---|---|---|
committer | Wolfgang Müller | 2021-07-19 15:59:52 +0200 |
commit | 7679ab7cb178b4647a47e0c336d552d0bc2f0dd5 (patch) | |
tree | f6fbb0ae18bd984438a912337cb88334cfdebd01 /Makefile | |
parent | 9b161d7d203257ca07b43ab4be5904b1d3855645 (diff) | |
download | git-helpers-7679ab7cb178b4647a47e0c336d552d0bc2f0dd5.tar.gz |
Add manual for git-init-shared(1)
Diffstat (limited to '')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ PREFIX ?= /usr/local -install: git-init-shared git-package git-package.1 git-sign-for-cgit git-sign-for-cgit.1 +install: git-init-shared git-init-shared.1 git-package git-package.1 git-sign-for-cgit git-sign-for-cgit.1 install -D -m 755 -t '${DESTDIR}${PREFIX}/bin' git-init-shared git-package git-sign-for-cgit - install -D -m 644 -t '${DESTDIR}${PREFIX}/share/man/man1' git-package.1 git-sign-for-cgit.1 + install -D -m 644 -t '${DESTDIR}${PREFIX}/share/man/man1' git-init-shared.1 git-package.1 git-sign-for-cgit.1 .PHONY: install |