lib/Tools/install
changeset 10504 d7f5607fbadf
parent 10030 950580516dfa
child 10555 2323ec838401
     1.1 --- a/lib/Tools/install	Tue Nov 21 19:02:07 2000 +0100
     1.2 +++ b/lib/Tools/install	Tue Nov 21 19:02:31 2000 +0100
     1.3 @@ -118,7 +118,7 @@
     1.4    echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
     1.5    echo "[KDE Desktop Entry]" >> "$KDEAPP"
     1.6    echo "Type=Application" >> "$KDEAPP"
     1.7 -  echo "Exec=$DISTDIR/bin/Isabelle %f" >> "$KDEAPP"
     1.8 +  echo "Exec=\"$DISTDIR/bin/Isabelle\" %f" >> "$KDEAPP"
     1.9    echo "Icon=isabelle.xpm" >> "$KDEAPP"
    1.10    echo "TerminalOptions=" >> "$KDEAPP"
    1.11    echo "Path=" >> "$KDEAPP"