diff -r 68cc8e282a26 -r d26da280c934 dist/install.sh
--- a/dist/install.sh	Tue Sep 12 22:34:02 2023 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,58 +0,0 @@
-#!/bin/sh
-
-PREFIX=/usr/local
-
-# help text
-printhelp()
-{
-	echo "Usage: $0 [PREFIX=<path>]"
-	echo
-	echo "Default PREFIX: /usr/local"
-}
-
-# error function
-exit_on_error()
-{
-  echo "$1"
-  exit 1
-}
-
-#
-# parse arguments 
-#
-for arg in "$@"
-do
-    case "$arg" in
-		"PREFIX="*)         PREFIX=${arg#PREFIX=} ;;
-		"--help"*)          printhelp; exit 1 ;;
-		"-"*) echo "unknown option: $arg"; exit 1 ;;
-	esac
-done
-
-#
-# create install dir
-#
-echo "mkdir -p $PREFIX/lib/uwproj $PREFIX/bin"
-mkdir -p "$PREFIX/lib/uwproj" "$PREFIX/bin" \
-  || exit_on_error "Creating install directory failed."
-
-#
-# install the JAR file
-#
-echo "cp ../target/uwproj-0.1-jar-with-dependencies.jar $PREFIX/lib/uwproj/uwproj-0.1.jar"
-cp "../target/uwproj-0.1-jar-with-dependencies.jar" "$PREFIX/lib/uwproj/uwproj-0.1.jar" \
-  || exit_on_error "Installing JAR file failed."
-
-#
-# create a run script in the bin dir
-#
-echo "cp bin/uwproj $PREFIX/bin"
-sed "s:%%PREFIX%%:$PREFIX:g" "bin/uwproj" > "$PREFIX/bin/uwproj" \
-  || exit_on_error "Creating run script failed."
-
-echo "chmod 0555 $PREFIX/bin/uwproj"
-chmod 0755 "$PREFIX/bin/uwproj" \
-  || exit_on_error "Changing permissions for run script failed."
-
-echo
-echo "uwproj has been successfully installed."