diff -r 41981a23aff8 -r bc096357e324 dist.src/install.sh
--- a/dist.src/install.sh	Tue Sep 24 21:49:50 2024 +0200
+++ b/dist.src/install.sh	Sun Oct 06 14:00:54 2024 +0200
@@ -1,6 +1,7 @@
 #!/bin/sh
 
 PREFIX=/usr/local
+VERSION=${project.version}
 
 # help text
 printhelp()
@@ -43,8 +44,8 @@
 #
 # install the JAR file
 #
-echo "cp ../target/uwproj-0.2.0-SNAPSHOT-jar-with-dependencies.jar $PREFIX/lib/uwproj/uwproj-0.2.0-SNAPSHOT.jar"
-cp "../target/uwproj-0.2.0-SNAPSHOT-jar-with-dependencies.jar" "$PREFIX/lib/uwproj/uwproj-0.2.0-SNAPSHOT.jar" \
+echo "cp ../target/uwproj-$VERSION-jar-with-dependencies.jar $PREFIX/lib/uwproj/uwproj-$VERSION.jar"
+cp "../target/uwproj-$VERSION-jar-with-dependencies.jar" "$PREFIX/lib/uwproj/uwproj-$VERSION.jar" \
   || exit_on_error "Installing JAR file failed."
 
 #
@@ -59,4 +60,4 @@
   || exit_on_error "Changing permissions for run script failed."
 
 echo
-echo "uwproj has been successfully installed."
+echo "uwproj $VERSION has been successfully installed."