--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/dist.src/bin/uwproj Tue Sep 12 22:42:12 2023 +0200
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+PREFIX=%%PREFIX%%
+
+java -jar $PREFIX/lib/uwproj/uwproj-${project.version}.jar "$@"
+if [ $? -eq 0 ]; then
+ chmod +x configure
+fi