lib/Tools/install
changeset 52116 abf9fcfa65cf
parent 50132 180d086c30dd
child 56439 95e2656b3b23
     1.1 --- a/lib/Tools/install	Wed May 22 16:47:48 2013 +0200
     1.2 +++ b/lib/Tools/install	Wed May 22 18:10:54 2013 +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
     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"