add dist makefile

move to codeberg (#22 )
2025-12-18 13:01:03 +01:00 · 2025-11-03 10:01:24 +01:00 · 2025-11-03 09:15:27 +01:00
1 changed files with 20 additions and 0 deletions
--- a/Makefile.dist
+++ 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/
Author	SHA1	Message	Date
Thomas von Dein	53d69b5278	add dist makefile	2025-11-03 10:01:24 +01:00
T. von Dein	a16b9e796c	move to codeberg (#22 )	2025-11-03 09:15:27 +01:00