aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorWolfgang Müller2021-07-17 15:59:39 +0200
committerWolfgang Müller2021-07-17 15:59:39 +0200
commit75fc929b9dbda987abfbf7988ea8b002ec857b1b (patch)
tree71fac98194fff0296c07dce75d172fee930f7622 /Makefile
parenta75e8b3ebb41eebbb3d6a28a8b6561ad235d8a93 (diff)
downloadgit-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.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
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