From 53d69b5278fd645982e11aeb80cbcbcaef5b581d Mon Sep 17 00:00:00 2001
From: Thomas von Dein <tom@vondein.org>
Date: Mon, 3 Nov 2025 10:01:24 +0100
Subject: [PATCH] add dist makefile

---
 Makefile.dist | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 Makefile.dist

diff --git a/Makefile.dist b/Makefile.dist
new file mode 100644
index 0000000..cb76bca
--- /dev/null
+++ b/Makefile.dist
@@ -0,0 +1,20 @@
+# -*-make-*-
+
+.PHONY: install all
+
+tool   = rpn
+PREFIX = /usr/local
+UID    = root
+GID    = 0
+
+all:
+	@echo "Type 'sudo make install' to install the tool."
+	@echo "To change prefix, type 'sudo make install PREFIX=/opt'"
+
+install:
+	install -d -o $(UID) -g $(GID) $(PREFIX)/bin
+	install -d -o $(UID) -g $(GID) $(PREFIX)/man/man1
+	install -d -o $(UID) -g $(GID) $(PREFIX)/share/doc
+	install -o $(UID) -g $(GID) -m 555 $(tool)  $(PREFIX)/sbin/
+	install -o $(UID) -g $(GID) -m 444 $(tool).1 $(PREFIX)/man/man1/
+	install -o $(UID) -g $(GID) -m 444 *.md $(PREFIX)/share/doc/