tuned;
authorwenzelm
Fri Aug 28 14:18:46 1998 +0200 (1998-08-28)
changeset 5404fde117f1006b
parent 5403 aa04ac8bfeae
child 5405 2ecb74e65439
tuned;
lib/Tools/install
     1.1 --- a/lib/Tools/install	Fri Aug 28 14:08:55 1998 +0200
     1.2 +++ b/lib/Tools/install	Fri Aug 28 14:18:46 1998 +0200
     1.3 @@ -15,8 +15,8 @@
     1.4    echo "  Options are:"
     1.5    echo "    -d DISTDIR   use DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
     1.6    echo
     1.7 -  echo "  Install binaries in directory BINDIR with absolute references to"
     1.8 -  echo "  DISTDIR/bin, which basically becomes non-relocatable this way."
     1.9 +  echo "  Install standalone Isabelle binaries in directory BINDIR with absolute"
    1.10 +  echo "  references to DISTDIR/bin, which becomes non-relocatable this way."
    1.11    echo
    1.12    exit 1
    1.13  }
    1.14 @@ -37,7 +37,7 @@
    1.15  while getopts "d:" OPT
    1.16  do
    1.17    case "$OPT" in
    1.18 -    h)
    1.19 +    d)
    1.20        DISTDIR="$OPTARG"
    1.21        ;;
    1.22      \?)