Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/install
changeset 10504 d7f5607fbadf
parent 10030 950580516dfa
child 10555 2323ec838401 
--- a/lib/Tools/install	Tue Nov 21 19:02:07 2000 +0100
+++ b/lib/Tools/install	Tue Nov 21 19:02:31 2000 +0100
@@ -118,7 +118,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\" %f" >> "$KDEAPP"
   echo "Icon=isabelle.xpm" >> "$KDEAPP"
   echo "TerminalOptions=" >> "$KDEAPP"
   echo "Path=" >> "$KDEAPP"
isabelle