lib/Tools/install
changeset 62588 cd266473b81b
parent 56439 95e2656b3b23
child 63995 2e4d80723fb0
     1.1 --- a/lib/Tools/install	Thu Mar 10 12:11:23 2016 +0100
     1.2 +++ b/lib/Tools/install	Thu Mar 10 12:11:50 2016 +0100
     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_scala_script
     1.9  do
    1.10    BIN="$BINDIR/$NAME"
    1.11    DIST="$DISTDIR/bin/$NAME"