diff -r e7c0b50468ee -r f061eecae302 dist/install.sh
--- a/dist/install.sh	Sun Jul 16 13:28:25 2023 +0200
+++ b/dist/install.sh	Sun Jul 16 13:29:41 2023 +0200
@@ -7,7 +7,7 @@
 {
 	echo "Usage: $0 [PREFIX=<path>]"
 	echo
-	echo "Default PREFIX:" $PREFIX
+	echo "Default PREFIX: /usr/local"
 }
 
 #