changeset 28915 | 0642cbb60c98 |
parent 28650 | a7ba12e0d3b7 |
child 29143 | 72c960b2b83e |
1.1 --- a/lib/Tools/install Sun Nov 30 12:58:20 2008 +0100 1.2 +++ b/lib/Tools/install Sun Nov 30 14:03:45 2008 +0100 1.3 @@ -74,7 +74,7 @@ 1.4 if [ -n "$BINDIR" ]; then 1.5 mkdir -p "$BINDIR" || fail "Bad directory: $BINDIR" 1.6 1.7 - for NAME in isabelle isabelle-process isabelle-interface 1.8 + for NAME in isabelle isabelle-process 1.9 do 1.10 BIN="$BINDIR/$NAME" 1.11 DIST="$DISTDIR/bin/$NAME"