allow spaces in target directory;
authorwenzelm
Wed May 09 16:46:12 2012 +0200 (2012-05-09)
changeset 478755b3cdfaedba3
parent 47874 e46e9900e350
child 47876 0521ee2e504d
allow spaces in target directory;
Admin/Cygwin/sfx.txt
     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@!