Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed copy_all
authorkleing
Sat, 16 Feb 2002 21:26:19 +0100
changeset 12898 c78872ea3320
parent 12897 f4d10ad0ea7b
child 12899 7d5b690253ee
fixed copy_all
src/Pure/Thy/present.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/present.ML	Sat Feb 16 20:59:34 2002 +0100
+++ b/src/Pure/Thy/present.ML	Sat Feb 16 21:26:19 2002 +0100
@@ -269,9 +269,9 @@
   system ("cp " ^ File.sysify_path path1 ^ " " ^ File.sysify_path path2));  (*FIXME: quote!?*)
 
 fun copy_all path1 path2 =
- (File.mkdir path2;
-  system ("cp -r " ^ File.quote_sysify_path path1 ^ " " ^
-    File.quote_sysify_path (Path.append path2 Path.parent)));
+ (File.mkdir path2;  
+  system ("cp -r " ^ File.quote_sysify_path path1 ^ "/. " ^
+    File.quote_sysify_path path2));
 
 
 fun name_of_session elems = space_implode "/" ("Isabelle" :: elems);
isabelle