# HG changeset patch
# User wenzelm
# Date 1336574772 -7200
# Node ID 5b3cdfaedba310bb7fef2db68882ab288e99874a
# Parent  e46e9900e350b56b73b5f05332723c32a2ecefb4
allow spaces in target directory;

diff -r e46e9900e350 -r 5b3cdfaedba3 Admin/Cygwin/sfx.txt
--- a/Admin/Cygwin/sfx.txt	Mon May 07 21:38:12 2012 +0200
+++ b/Admin/Cygwin/sfx.txt	Wed May 09 16:46:12 2012 +0200
@@ -5,5 +5,5 @@
 ExtractPathText="Target directory"
 ExtractTitle="Unpacking Isabelle2012 ..."
 Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
-RunProgram="%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat"
+RunProgram="\"%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat\""
 ;!@InstallEnd@!