diff -r aa04ac8bfeae -r fde117f1006b lib/Tools/install
--- a/lib/Tools/install	Fri Aug 28 14:08:55 1998 +0200
+++ b/lib/Tools/install	Fri Aug 28 14:18:46 1998 +0200
@@ -15,8 +15,8 @@
   echo "  Options are:"
   echo "    -d DISTDIR   use DISTDIR as Isabelle distribution (default ISABELLE_HOME)"
   echo
-  echo "  Install binaries in directory BINDIR with absolute references to"
-  echo "  DISTDIR/bin, which basically becomes non-relocatable this way."
+  echo "  Install standalone Isabelle binaries in directory BINDIR with absolute"
+  echo "  references to DISTDIR/bin, which becomes non-relocatable this way."
   echo
   exit 1
 }
@@ -37,7 +37,7 @@
 while getopts "d:" OPT
 do
   case "$OPT" in
-    h)
+    d)
       DISTDIR="$OPTARG"
       ;;
     \?)