lib/Tools/install
changeset 7934 42836b6c4c73
parent 7887 eedfff88ee40
child 9788 df671fa2562a
     1.1 --- a/lib/Tools/install	Tue Oct 26 15:23:25 1999 +0200
     1.2 +++ b/lib/Tools/install	Tue Oct 26 17:00:46 1999 +0200
     1.3 @@ -116,7 +116,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" >>$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