lib/Tools/install
changeset 56439 95e2656b3b23
parent 52116 abf9fcfa65cf
child 62588 cd266473b81b
     1.1 --- a/lib/Tools/install	Sun Apr 06 16:36:28 2014 +0200
     1.2 +++ b/lib/Tools/install	Sun Apr 06 16:59:41 2014 +0200
     1.3 @@ -63,7 +63,7 @@
     1.4  
     1.5  mkdir -p "$BINDIR" || fail "Bad directory: \"$BINDIR\""
     1.6  
     1.7 -for NAME in isabelle isabelle-process isabelle_scala_script
     1.8 +for NAME in isabelle isabelle_process isabelle_scala_script
     1.9  do
    1.10    BIN="$BINDIR/$NAME"
    1.11    DIST="$DISTDIR/bin/$NAME"