first draft

2026-11-03 20:19:21 +01:00
commit 158e115242
44 changed files with 10785 additions and 0 deletions
@@ -0,0 +1,5 @@
+#!/bin/sh
+set -eu
+PREFIX="${PREFIX:-/usr/local}"
+DESTDIR="${DESTDIR:-}"
+exec make -C "$(dirname "$0")" install PREFIX="$PREFIX" DESTDIR="$DESTDIR"