Package tools

Makefile

@@ -0,0 +1,14 @@
+SHELL=/bin/sh
+BIN=tools
+
+all:
+	@echo 'Menu:'
+	@echo '  make packages          Make all RPM packages'
+	@echo '  make install           (incomplete)
+
+packages:
+	@$(BIN)/make_rpm.sh PKGRELEASE="$${PKGRELEASE}"
+
+install:
+	@echo 'To install, copy the files from bin to somewhere in your PATH.'
+	@echo 'Or, if you use RPMs, "make packages" and install the result.'