diff -r 0fa5a6f08245 -r 36e4aedd5663 src/main/resources/make/configure.vm --- a/src/main/resources/make/configure.vm Tue Jan 30 21:32:11 2024 +0100 +++ b/src/main/resources/make/configure.vm Mon Sep 23 22:52:48 2024 +0200 @@ -1,5 +1,6 @@ #!/bin/sh +#set( $D = '$' ) # create temporary directory TEMP_DIR=".tmp-`uname -n`" rm -Rf "$TEMP_DIR" @@ -62,7 +63,7 @@ cat << __EOF__ Installation directories: --prefix=PREFIX path prefix for architecture-independent files - [/usr] + [${D}prefix] --exec-prefix=EPREFIX path prefix for architecture-dependent files [PREFIX] @@ -104,7 +105,6 @@ # parse arguments # BUILD_TYPE="default" -#set( $D = '$' ) for ARG in "$@" do case "$ARG" in