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.
isatool_document: quote args;
authorwenzelm
Fri, 01 Sep 2000 17:45:07 +0200
changeset 9785 1634fdb11b00
parent 9784 d8f8dc335c8c
child 9786 270ca580b880
isatool_document: quote args;
src/Pure/Thy/present.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/present.ML	Fri Sep 01 17:44:44 2000 +0200
+++ b/src/Pure/Thy/present.ML	Fri Sep 01 17:45:07 2000 +0200
@@ -253,7 +253,7 @@
 fun copy_files path1 path2 =
   (File.mkdir path2;
    File.system_command
-     ("cp " ^ File.sysify_path path1 ^ " " ^ File.sysify_path path2));
+     ("cp " ^ File.quote_sysify_path path1 ^ " " ^ File.quote_sysify_path path2));
 
 
 fun init false _ _ _ _ _ = (browser_info := empty_browser_info; session_info := None)
@@ -311,7 +311,8 @@
 
 fun isatool_document doc_format doc_prefix =
   let
-    val cmd = "$ISATOOL document -c -o '" ^ doc_format ^ "' '" ^ File.sysify_path doc_prefix ^ "'";
+    val cmd =
+      "\"$ISATOOL\" document -c -o '" ^ doc_format ^ "' " ^ File.quote_sysify_path doc_prefix;
   in
     writeln cmd;
     if system cmd <> 0 orelse not (File.exists (Path.ext doc_format doc_prefix)) then
isabelle