# HG changeset patch # User Mike Becker # Date 1689506981 -7200 # Node ID f061eecae302807d93b8c9b235012dd7fc297827 # Parent e7c0b50468ee8f077cdab4b7cfc1fa2a4af6ea6f fix default prefix in help text not being the default but the actual prefix fixes #272 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=]" echo - echo "Default PREFIX:" $PREFIX + echo "Default PREFIX: /usr/local" } #