Admin/Cygwin/sfx.txt
changeset 47875 5b3cdfaedba3
parent 47873 1636ff4c6243
     1.1 --- a/Admin/Cygwin/sfx.txt	Mon May 07 21:38:12 2012 +0200
     1.2 +++ b/Admin/Cygwin/sfx.txt	Wed May 09 16:46:12 2012 +0200
     1.3 @@ -5,5 +5,5 @@
     1.4  ExtractPathText="Target directory"
     1.5  ExtractTitle="Unpacking Isabelle2012 ..."
     1.6  Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
     1.7 -RunProgram="%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat"
     1.8 +RunProgram="\"%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat\""
     1.9  ;!@InstallEnd@!