--- a/lib/Tools/install Tue Sep 04 21:10:57 2001 +0200
+++ b/lib/Tools/install Sat Sep 08 20:00:31 2001 +0200
@@ -95,7 +95,7 @@
if [ -n "$BINDIR" ]; then
mkdir -p "$BINDIR" || fail "Bad directory: $BINDIR"
- for NAME in isatool isabelle Isabelle
+ for NAME in isatool isabelle-process isabelle-interface
do
BIN="$BINDIR/$NAME"
DIST="$DISTDIR/bin/$NAME"
@@ -105,6 +105,14 @@
echo "exec \"$DIST\" \"\$@\"" >> "$BIN"
chmod +x "$BIN"
done
+ for NAME in Isabelle isabelle
+ do
+ BIN="$BINDIR/$NAME"
+ DIST="$DISTDIR/bin/$NAME"
+ echo "installing $BIN"
+ cp "$DIST" "$BIN" || fail "Cannot write file: $BIN"
+ chmod +x "$BIN"
+ done
fi
@@ -138,7 +146,7 @@
echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
echo "[KDE Desktop Entry]" >> "$KDEAPP"
echo "Type=Application" >> "$KDEAPP"
- echo "Exec=\"$DISTDIR/bin/Isabelle\" %f" >> "$KDEAPP"
+ echo "Exec=\"$DISTDIR/bin/isabelle-interface\" %f" >> "$KDEAPP"
echo "Icon=isabelle.xpm" >> "$KDEAPP"
echo "TerminalOptions=" >> "$KDEAPP"
echo "Path=" >> "$KDEAPP"