From 75fc929b9dbda987abfbf7988ea8b002ec857b1b Mon Sep 17 00:00:00 2001
From: Wolfgang Müller
Date: Sat, 17 Jul 2021 15:59:39 +0200
Subject: 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.
---
 Makefile | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 Makefile

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
-- 
cgit v1.2.3-2-gb3c3