Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
quote executable;
authorwenzelm
Tue, 21 Nov 2000 19:02:31 +0100
changeset 10504 d7f5607fbadf
parent 10503 c9d087e4a5e8
child 10505 b89e6cc963e3
quote executable;
lib/Tools/install file | annotate | diff | comparison | revisions 
--- 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