diff options
| author | Wolfgang Müller | 2021-07-17 15:59:39 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2021-07-17 15:59:39 +0200 |
| commit | 75fc929b9dbda987abfbf7988ea8b002ec857b1b (patch) | |
| tree | 71fac98194fff0296c07dce75d172fee930f7622 | |
| parent | a75e8b3ebb41eebbb3d6a28a8b6561ad235d8a93 (diff) | |
| download | git-helpers-75fc929b9dbda987abfbf7988ea8b002ec857b1b.tar.gz | |
Add rudimentary Makefile
With the addition of another manual it is high time we add a convenient
way of installing both the tools and the manuals.
| -rw-r--r-- | Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..f515359 --- /dev/null +++ b/Makefile @@ -0,0 +1,7 @@ +PREFIX ?= /usr/local + +install: git-init-shared 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 + +.PHONY: install |