copy_files: do not quote paths (for now);

--- a/src/Pure/Thy/present.ML	Fri Sep 01 19:42:11 2000 +0200
+++ b/src/Pure/Thy/present.ML	Fri Sep 01 19:49:04 2000 +0200
@@ -252,8 +252,8 @@
 
 fun copy_files path1 path2 =
   (File.mkdir path2;
-   File.system_command
-     ("cp " ^ File.quote_sysify_path path1 ^ " " ^ File.quote_sysify_path path2));
+   File.system_command  (*FIXME: quote paths!?*)
+     ("cp " ^ File.sysify_path path1 ^ " " ^ File.sysify_path path2));
 
 
 fun init false _ _ _ _ _ = (browser_info := empty_browser_info; session_info := None)